Basic observables for processes

DOI10.1006/inco.1998.2755zbMath0928.68013OpenAlexW2012657211WikidataQ57650953 ScholiaQ57650953MaRDI QIDQ1286368

Michele Boreale, Rosario Pugliese, Rocco De Nicola

Publication date: 12 January 2000

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1006/inco.1998.2755

zbMATH Keywords

functional programmingmust preorder

Mathematics Subject Classification ID

Theory of programming languages (68N15) General topics in the theory of software (68N01)

Related Items

Basic observables for a calculus for global computing, Fair testing, Theory of interaction, Branching vs. Linear Time: Semantical Perspective, Trace- and failure-based semantics for responsiveness, Separation of synchronous and asynchronous communication via testing, Unnamed Item, A calculus for collective-adaptive systems and its behavioural theory, Bisimulation and coinduction enhancements: a historical perspective, Divergence in testing and readiness semantics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Observing localities
• Specification-oriented semantics for communicating processes
• Extensional equivalences for transition systems
• Failures semantics and deadlocking of modular Petri nets
• Trace, failure and testing equivalences for communicating processes
• CONCUR '90. Theories of concurrency: unification and extension. Amsterdam, The Netherlands, August 1990. Proceedings
• An efficiency preorder for processes
• Testing equivalences for processes
• Distributed bisimulations
• A Theory of Communicating Sequential Processes
• Nets, Terms and Formulas
• Divergence and fair testing
• Barbed bisimulation
• A calculus of mobile agents