Universal axioms for bisimulations (original) (raw)
Related papers
A Taxonomy for Programming Languages wit h Multi-Sequential Processes
Kristine Thomsen, Jørgen L Knudsen
Daimi Report Series, 1984
Communicating Sequential Processes
Communications of The ACM, 1978
Process theory based on bisimulation semantics
1989
Structuring Processes as a Sequence of Nested Atomic Actions
IFAC Proceedings Volumes, 1985
Specification of Synchronizing Processes
IEEE Transactions on Software Engineering, 2000
On the Unification of Process Semantics: Observational Semantics
Lecture Notes in Computer Science, 2009
A new proposal of concurrent process calculus
SOFSEM'96: Theory and Practice of Informatics, 1996
Priority and abstraction in process algebra
Foundation of Software …, 1994
Processes and the denotational semantics of concurrency
Information and Control
Functional and Performance Analysis of Cooperating Sequential Processes
Quantitative Methods in Parallel Systems, 1995
ACM Computing Surveys, 1973
Models for concurrency: towards a classification
Theoretical Computer Science, 1996
Synchronous + Concurrent + Sequential = Earlier than + Not later than
Sixth International Conference on Application of Concurrency to System Design, 2006
A Procedure for Splitting Processes and its Application to Coordination
2012
A generalized message-passing mechanism for communicating sequential processes
IEEE Transactions on Computers, 1988
Constructing process categories
Theoretical Computer Science, 1997
Categorical Models for Concurrency: Independence, Fairness and Dataflow
2000
Concurrent bisimulations in Petri nets
Acta Informatica, 1991
Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency
Lecture Notes in Computer Science, 1989
On Semantics of Concurrency and Nondeterminism: Bisimulations and Temporal Logics
Electronic Notes in Theoretical Computer Science, 1998
Mathematical Foundations of Computer Science 1991, 1991
Asynchronous sequential processes
Information and Computation, 2009
CSP: The Best Concurrent-System Description Language in the World – Probably! Extended Abstract
2010
An exercise in formalizing the description of a concurrent system
Software: Practice and Experience, 1992
Communicating parallel processes
Software: Practice and Experience, 1986
Reasoning about Nondeterministic and Concurrent Actions: A Process Algebra Approach
Process semantics: universal axioms compositional rules, and applications
UTP Semantics for Shared-State, Concurrent, Context-Sensitive Process Models
2016 10th International Symposium on Theoretical Aspects of Software Engineering (TASE), 2016
Local specification of distributed families of sequential objects
Lecture Notes in Computer Science, 1995
Finite State Automata Semantics in Communicating Sequential Processes
2012