scientific article; zbMATH DE number 4199644

MaRDI QIDQ3348429zbMATH OpenFDO

Authors Boubakar Gamatie, Philippe Darondeau

Publication date 1990

zbMATH Keywords

observationscalculus of communicating systemsdenotational model

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• The infinigon and its properties
• Proof systems for infinite behaviours
• Assumptions of infinity
• scientific article; zbMATH DE number 7088147
• Some observations on infinitary complexity
• scientific article; zbMATH DE number 4076637
• Actual and potential infinity

Cited in

(9)

• A fully abstract denotational model for observational precongruence
• Basic observables for processes
• Theoretical Aspects of Computing - ICTAC 2004
• Innocent strategies as presheaves and interactive equivalences for CCS
• Compositionality in state space verification methods
• scientific article; zbMATH DE number 3995044 (Why is no real title available?)
• A fixpoint approach to finite delay and fairness
• Compositional failure-based semantic models for basic LOTOS
• A fully abstract denotational model for observational precongruence

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