Algebraic laws for nondeterminism and concurrency
Journal of the ACM (JACM)
On the consistency of Koomen's fair abstraction rule
Theoretical Computer Science
Process algebra
A complete equational axiomatization for prefix iteration
Information Processing Letters
Communication and Concurrency
A Calculus of Communicating Systems
A Calculus of Communicating Systems
Introduction to Process Algebra
Introduction to Process Algebra
Process Algebra with Timing
Introduction To Automata Theory, Languages, And Computation
Introduction To Automata Theory, Languages, And Computation
The Algebra of Recursively Defined Processes and the Algebra of Regular Processes
Proceedings of the 11th Colloquium on Automata, Languages and Programming
Process theory based on bisimulation semantics
Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop
Polarized process algebra and program equivalence
ICALP'03 Proceedings of the 30th international conference on Automata, languages and programming
Splitting bisimulations and retrospective conditions
Information and Computation
Thread Algebra with Multi-Level Strategies
Fundamenta Informaticae
Parallel Processes with Implicit Computational Capital
Electronic Notes in Theoretical Computer Science (ENTCS)
Thread Algebra with Multi-Level Strategies
Fundamenta Informaticae
Formal modeling of evolving self-adaptive systems
Science of Computer Programming
Hi-index | 0.00 |
We present a first-order extension of the algebraic theory about processes known as ACP and its main models. Useful predicates on processes, such as deadlock freedom and determinism, can be added to this theory through first-order definitional extensions. Model theory is used to analyse the discrepancies between identity in the models of the first-order extension of ACP and bisimilarity of the transition systems extracted from these models, and also the discrepancies between deadlock freedom in the models of a suitable first-order definitional extension of this theory and deadlock freedom of the transition systems extracted from these models. First-order definitions are material to the formalization of an interpretation of one theory about processes in another. We give a comprehensive example of such an interpretation too.