Mathematical Foundations of Programming Semantics, 7th International Conference, Pittsburgh, PA, USA, March 25-28, 1991, Proceedings (original) (raw)
Related papers
Mathematical Foundations of Programming Semantics, 1994
Mathematical Foundations of Programming Semantics
Lecture Notes in Computer Science, 1994
On the Unification of Process Semantics: Equational Semantics
Electronic Notes in Theoretical Computer Science, 2009
Process semantics: universal axioms compositional rules, and applications
On the Unification of Process Semantics: Logical Semantics
Electronic Proceedings in Theoretical Computer Science, 2011
Priority and abstraction in process algebra
Foundation of Software …, 1994
Process Algebra as Abstract Data Types
arXiv (Cornell University), 2010
Algebra of communicating processes with abstraction
Theoretical Computer Science, 1985
On the Unification of Process Semantics: Observational Semantics
Lecture Notes in Computer Science, 2009
Interpreted Systems Semantics for Process Algebra with Identity Annotations
Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, 1965
Universal Coinductive Characterisations of Process Semantics
IFIP International Federation for Information Processing, 2008
Processes and the denotational semantics of concurrency
Information and Control
A Non-SOS Operational Semantics for a Process Algebra
Information Processing Letters, 1998
Constructing process categories
Theoretical Computer Science, 1997
Generic process algebra: A programming challenge
2006
Process semantics of temporal logic specification
1993
Relating maximality-based semantics to action refinement in process algebras
Djamel-Eddine Saïdouni, Djamel Eddine Saïdouni, Jean-pierre Courtiat
A Process Calculus with Finitary Comprehended Terms
Theory of Computing Systems, 2013
The Equational Logic of Parallel Processes Principal Investigators
2005
Retracing some paths in process algebra
1996
Process theory based on bisimulation semantics
1989
Towards Action-Refinement in Process Algebras
Information and Computation, 1993
Foundations of Process Calculi and Contextual Systems
2005
Mathematical Structures in Computer Science, 1998
JACK: A process algebra implementation in Java
2002
On the Specification of Elementary Reactive Behaviour
Process Algebra-Guest editors' foreword
Two Algebraic Process Semantics for Contextual Nets
Unifying Petri Nets, 2001
Model Theory for Process Algebra
Lecture Notes in Computer Science, 2005
2001
A new proposal of concurrent process calculus
SOFSEM'96: Theory and Practice of Informatics, 1996