scientific article; zbMATH DE number 4104372

MaRDI QIDQ3829059zbMATH OpenFDO

Authors Józef Winkowski

Publication date 1989

zbMATH Keywords

configuration systemsdistributed environmentsequivalenceprocess

Mathematics Subject Classification ID

Theory of operating systems (68N25) Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 5263402
• scientific article; zbMATH DE number 4062567
• Distributed bisimulations
• Trace, failure and testing equivalences for communicating processes
• Axiomatising Finite Concurrent Processes

Cited in

(14)

• The equivalence in the DCP model
• Processes are in the eye of the beholder
• Equivalence is in the eye of the beholder
• Allowing each node to communicate only once in a distributed system: shared whiteboard models
• An input/output semantics for distributed program equivalence reasoning
• Equivalence of Processes in Partially Commutative Object-Oriented Environments
• A generalization of traces
• Towards a Visual Definition of a Process in a Distributed Environment
• scientific article; zbMATH DE number 3972173 (Why is no real title available?)
• scientific article; zbMATH DE number 4111991 (Why is no real title available?)
• scientific article; zbMATH DE number 1522995 (Why is no real title available?)
• Making the unobservable, unobservable
• Computational and Information Science
• Communication equivalence classes in networks

This page was built for publication:

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