Basic observables for processes

DOI10.1007/3-540-63165-8_204zbMath1401.68224OpenAlexW1561040512MaRDI QIDQ4571979

Rocco De Nicola, Rosario Pugliese, Michele Boreale

Publication date: 4 July 2018

Published in: Automata, Languages and Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-63165-8_204

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
• Failures semantics and deadlocking of modular Petri nets
• Trace, failure and testing equivalences for communicating processes
• Testing equivalences for processes
• A Theory of Communicating Sequential Processes
• Bisimulation can't be traced
• Divergence and fair testing
• A calculus of mobile agents

This page was built for publication: Basic observables for processes