Categorical Logic of Names and Abstraction in Action Calculi (1993)

Cached

Download Links

by Dusko Pavlovic
Citations:21 - 9 self

Active Bibliography

60 Models of Sharing Graphs: A Categorical Semantics of let and letrec – Masahito Hasegawa - 1997
5 Symmetric Action Calculi – Philippa Gardner, Lucian Wischik - 1999
150 Elements of Interaction – Robin Milner - 1993
2 Categorical and Graphical Models of Programming Languages – Ralf Schweimeier - 2001
3 A specification structure for deadlock-freedom of synchronous processes – S. Abramsky, S. J. Gay, R. Nagarajan - 1999
Lambda-Calculus and Functional Programming – Jonathan P. Seldin
8 Quantum and classical structures in nondeterministic computation – Dusko Pavlovic
11 Enriched Categories as Models of Computation – Fabio Gadducci, Ugo Montanari - 1996
13 Characterizing behavioural congruences for Petri nets – Mogens Nielsen, Lutz Priese, Vladimiro Sassone - 1995
1 Actions, Ramifications and Linear Modalities – G. White - 1998
Presheaf models of quantum computation: an – Octavio Malherbe, Philip Scott, Peter Selinger - 1302
39 Categorical Models for Local Names – Ian Stark - 1996
1 COMMUTATIVE MONADS AS A THEORY OF DISTRIBUTIONS – Anders Kock
CMCS 2010 Categorifying Computations into Components via Arrows as Profunctors – Kazuyuki Asada, Ichiro Hasuo
2 Strategic Directions in Computing Research Concurrency Working Group Report – Rance Cleaveland, Scott A. Smolka (eds.) - 1996
80 π-Calculus, Internal Mobility, and Agent-Passing Calculi – Davide Sangiorgi - 1995
29 Combining effects: sum and tensor – Martin Hyland, Gordon Plotkin, John Power
19 Elementary Structures in Process Theory (1) Sets with Renaming – Kohei Honda - 1997
3 Power Domains Supporting Recursion and Failure – Reinhold Heckmann, Bundesrepublik Deutschland - 1998