A Semantic Theory for Value-Passing Processes Late Approach -- Part I: A Denotational Model and Its Complete Axiomatization (1995)

by Anna Ingólfsdóttir
Citations:11 - 4 self

Active Bibliography

7 A Filter Model for Mobile Processes – Ferruccio Damiani , et al. - 1993
3 On the Bisimulation Theory and Axiomatization of Higher-order Process Calculi – Xian Xu
2 Strategic Directions in Computing Research Concurrency Working Group Report – Rance Cleaveland, Scott A. Smolka (eds.) - 1996
32 A Conservative Look at Operational Semantics with Variable Binding – Wan Fokkink, Chris Verhoef - 1998
Process Logic and Duality -- Part I: Sequential Processes – Kohei Honda
56 A brief history of process algebra – J. C. M. Baeten - 2004
52 From Timed Automata to Logic -- and Back – Francois Laroussinie, Kim G. Larsen, Carsten Weise - 1995
150 Elements of Interaction – Robin Milner - 1993
Appendices – Caj Zz Tutoria, Walter Fontana, Leo W. Buss
8 π-calculus in logical form – M. M. Bonsangue, A. Kurz - 2007
6 Full Abstractness for a Functional/Concurrent Language With Higher-Order Value-Passing – Chrysafis Hartonas, Takis Hartonas, Matthew Hennessy - 1998
1 The Weak Late pi-calculus Semantics as Observation Equivalence – Gian-Luigi Ferrari, Ugo Montanari, Paola Quaglia - 1995
45 Presheaf Models for Concurrency – Gian Luca Cattani - 1999
10 Topology, Domain Theory and Theoretical Computer Science – Michael W. Mislove - 1997
1 Linda based Applicative and Imperative Process Algebras – Rocco De Nicola, Rosario Pugliese
Contents – unknown authors
BRICS Research Series, 1994 – Brics, Gordon Plotkin, Glynn Winskel Bistructures, Javier Esparza, Decidability Issues, Petri Nets, Andr Joyal, Mogens Nielsen, Mogens Nielsen, Glynn Winskel Bisimulation From - 1998
3 The Semantics Of Fair Recursion With Divergence – Michael Huth, Marta Kwiatkowska - 1996
1 Qualitative and Quantitative Analysis of Mobile Systems – Corrado Priami - 1997