scientific article; zbMATH DE number 4104372

MaRDI QIDQ3829059zbMATH OpenFDO

Authors Józef Winkowski

Publication date 1989

zbMATH Keywords

equivalenceprocessdistributed environmentsconfiguration systems

Mathematics Subject Classification ID

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

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

(11)

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

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)