Behavioural characterizations of partial order logics

DOI10.1007/BFB0036207MaRDI QIDQ5055959zbMATH OpenFDO

Authors

Publication date 9 December 2022

Published in Fundamentals of Computation Theory (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BFB0036207

Mathematics Subject Classification ID

Temporal logic (03B44) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 6261993
• A logic characteristic for timed extensions of partial order based equivalences
• A logic for true concurrency
• Behavioural logics for configuration structures
• scientific article; zbMATH DE number 4210118

Cites work

• A logical characterization of well branching event structures
• Characterizing finite Kripke structures in propositional temporal logic
• Concurrency and atomicity
• scientific article; zbMATH DE number 4208063 (Why is no real title available?)
• scientific article; zbMATH DE number 4108727 (Why is no real title available?)
• scientific article; zbMATH DE number 17804 (Why is no real title available?)
• scientific article; zbMATH DE number 70113 (Why is no real title available?)
• scientific article; zbMATH DE number 408806 (Why is no real title available?)
• scientific article; zbMATH DE number 4119602 (Why is no real title available?)
• scientific article; zbMATH DE number 4182807 (Why is no real title available?)
• Modular construction and partial order semantics of Petri nets
• Petri nets, event structures and domains. I

Cited in

(8)

• Behavioural logics for configuration structures
• Characterising spectra of equivalences for event structures, logically
• Building bridges between sets of partial orders
• scientific article; zbMATH DE number 3852428 (Why is no real title available?)
• A logic characteristic for timed extensions of partial order based equivalences
• Logics and Bisimulation Games for Concurrency, Causality and Conflict
• On fixpoint logics and equivalences for processes with restricted nondeterminism
• scientific article; zbMATH DE number 7559483 (Why is no real title available?)

This page was built for publication: Behavioural characterizations of partial order logics

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