Basic observables for processes

DOI10.1006/INCO.1998.2755MaRDI QIDQ1286368zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Michele Boreale, Rocco De Nicola, Rosario Pugliese

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

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

Recommendations

• Basic observables for processes
• Testing preorders for probabilistic processes.
• Characterising Testing Preorders for Finite Probabilistic Processes
• Publication:4733391
• Trace, failure and testing equivalences for communicating processes

Cites work

• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 48630 (Why is no real title available?)
• scientific article; zbMATH DE number 176736 (Why is no real title available?)
• scientific article; zbMATH DE number 3995043 (Why is no real title available?)
• scientific article; zbMATH DE number 4119607 (Why is no real title available?)
• A Theory of Communicating Sequential Processes
• A calculus of mobile agents
• An efficiency preorder for processes
• Barbed bisimulation
• CONCUR '90. Theories of concurrency: unification and extension. Amsterdam, The Netherlands, August 1990. Proceedings
• Distributed bisimulations
• Divergence and fair testing
• Extensional equivalences for transition systems
• Failures semantics and deadlocking of modular Petri nets
• Nets, Terms and Formulas
• Observing localities
• Specification-oriented semantics for communicating processes
• Testing equivalences for processes
• Trace, failure and testing equivalences for communicating processes

Cited in

(11)

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

This page was built for publication: Basic observables for processes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1286368)