scientific article; zbMATH DE number 70113

MaRDI QIDQ4015945zbMATH OpenFDO

Authors Ferroudja Cherief

Publication date 10 November 1992

zbMATH Keywords

back and forth bisimulationbranching time semanticsconcurrencyevent structuresrefinement of actionssemantics of parallelism

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55)

Recommendations

• Reverse bisimulations on stable configuration structures
• A hierarchy of reverse bisimulations on stable configuration structures
• Bisimulations up-to: beyond first-order transition systems
• Parameterised bisimulations: some applications
• scientific article; zbMATH DE number 554483
• Reduction of event structures under history preserving bisimulation

Cited in

(7)

• Schedulers and finishers: on generating and filtering the behaviours of an event structure
• A hierarchy of reverse bisimulations on stable configuration structures
• Schedulers and finishers: on generating the behaviours of an event structure
• scientific article; zbMATH DE number 1534589 (Why is no real title available?)
• Behavioural characterizations of partial order logics
• Reverse bisimulations on stable configuration structures
• A logic for true concurrency

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 Q4015945)