Making the unobservable, unobservable

DOI10.1016/J.ENTCS.2009.06.043MaRDI QIDQ5166617zbMATH OpenOpenAlexFDO

Authors Julian Rathke, Paweł Sobociński

Publication date 27 June 2014

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2009.06.043

zbMATH Keywords

bisimulationobservabilityprocess algebrasimulationstructural operational semantics

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Observing localities
• Concurrent histories: a basis for observing distributed systems
• scientific article; zbMATH DE number 3986626
• scientific article; zbMATH DE number 4104372
• Process calculus based upon evaluation to committed form

Cites work

• A calculus of communicating systems
• Barbed bisimulation
• Deriving Structural Labelled Transitions for Mobile Ambients
• From rewrite rules to bisimulation congruences
• scientific article; zbMATH DE number 92600 (Why is no real title available?)
• scientific article; zbMATH DE number 2059571 (Why is no real title available?)
• scientific article; zbMATH DE number 1759615 (Why is no real title available?)
• Locating reaction with 2-categories
• On bisimulations for the asynchronous -calculus
• On reduction-based process semantics
• The chemical abstract machine

Cited in

(4)

• Deriving structural labelled transitions for mobile ambients
• Encoding Asynchronous Interactions Using Open Petri Nets
• scientific article; zbMATH DE number 1107743 (Why is no real title available?)
• Reactive systems, (semi-)saturated semantics and coalgebras on presheaves

This page was built for publication: Making the unobservable, unobservable

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