scientific article; zbMATH DE number 4199644

zbMATH Open0726.68054MaRDI QIDQ3348429FDOQ3348429

Authors: Boubakar Gamatie, Philippe Darondeau 

Publication date: 1990

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

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

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)

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
• Title not available (Why is that?)
• 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)