scientific article; zbMATH DE number 4210118

MaRDI QIDQ3358716zbMATH OpenFDO

Authors Rocco De Nicola, Gian Luigi Ferrari

Publication date 1990

zbMATH Keywords

bisimulationconcurrencyinterleaving approachobservational equivalencepartial ordering observationsprogram logics

Mathematics Subject Classification ID

Logic in computer science (03B70) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)

Recommendations

• A logic for true concurrency
• A logic for true concurrency
• Finitary logics for some CCS observational bisimulations
• scientific article; zbMATH DE number 1418374
• scientific article; zbMATH DE number 512945

Cited in

(17)

• Finitary logics for some CCS observational bisimulations
• Characterizing right inverses for spatial constraint systems with applications to modal logic
• Characterising spectra of equivalences for event structures, logically
• Truly concurrent logic via in-between specification
• Local model checking in a logic for true concurrency
• Connection between logical and algebraic approaches to concurrent systems
• Deriving inverse operators for modal logic
• A logic for true concurrency
• scientific article; zbMATH DE number 1215473 (Why is no real title available?)
• scientific article; zbMATH DE number 10090 (Why is no real title available?)
• Linear logical relations and observational equivalences for session-based concurrency
• scientific article; zbMATH DE number 1418374 (Why is no real title available?)
• Behavioural characterizations of partial order logics
• Observational Semantics for Dynamic Logic with Binders
• A logic for true concurrency
• Concurrency cannot be observed, asynchronously
• Translations between modal logics of reactive systems

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