scientific article; zbMATH DE number 4104372

zbMATH Open0674.68017MaRDI QIDQ3829059FDOQ3829059

Authors: Józef Winkowski 

Publication date: 1989

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

equivalenceprocessdistributed environmentsconfiguration systems

Mathematics Subject Classification ID

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

Cited In (11)

• 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
• Title not available (Why is that?)
• Computational and Information Science
• Title not available (Why is that?)
• Title not available (Why is that?)
• Towards a Visual Definition of a Process in a Distributed Environment

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)