Duplication of constants in process algebra

DOI10.1016/j.jlap.2006.08.003zbMath1106.68069OpenAlexW2144127092WikidataQ114851563 ScholiaQ114851563MaRDI QIDQ864505

Michel Reniers, Jos C. M. Baeten

Publication date: 9 February 2007

Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

Full work available at URL: https://research.tue.nl/nl/publications/duplication-of-constants-in-process-algebra(f2483878-0099-47c5-98b0-5eaf019e9987).html

zbMATH Keywords

deadlockdelayability

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A timed model for communicating sequential processes
• A calculus of communicating systems
• CONCUR '90. Theories of concurrency: unification and extension. Amsterdam, The Netherlands, August 1990. Proceedings
• A conservative look at operational semantics with variable binding
• The algebra of timed processes, ATP: Theory and application
• The algebra of communicating processes with empty process
• Process algebra with propositional signals
• Hybrid process algebra
• Process algebra with timing
• Absolute versus relative time in process algebras.
• A process algebra for timed systems
• Discrete time process algebra
• Real time process algebra
• Process algebra for synchronous communication
• A Theory of Communicating Sequential Processes
• Process Algebra
• Termination, deadlock, and divergence
• Embedding untimed into timed process algebra: the case for explicit termination
• Automata, Languages and Programming
• CONCUR 2005 – Concurrency Theory
• Processes, Terms and Cycles: Steps on the Road to Infinity
• Variable binding operators in transition system specifications

This page was built for publication: Duplication of constants in process algebra