Dependency-based action refinement

DOI10.1007/BFB0029990MaRDI QIDQ4699323zbMATH OpenFDO

Authors Arend Rensink, Heike Wehrheim

Publication date 1 February 2000

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://research.utwente.nl/en/publications/e9965dd7-a88f-49d7-b314-46b41e84580d

zbMATH Keywords

action refinementoperational semanticsprocess algebras

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

• Process algebra with action dependencies
• scientific article; zbMATH DE number 4180788
• Bisimulation and action refinement

Cited in

(3)

• Action refinement.
• scientific article; zbMATH DE number 4180788 (Why is no real title available?)
• RGSep Action Inference

This page was built for publication: Dependency-based action refinement

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