A logical characterization of well branching event structures

DOI10.1016/0304-3975(92)90181-EzbMATH Open0761.68058OpenAlexW1972083914MaRDI QIDQ1190487FDOQ1190487

Authors: Madhavan Mukund, P. S. Thiagarajan 

Publication date: 26 September 1992

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(92)90181-e

Recommendations

• scientific article; zbMATH DE number 4208063
• scientific article; zbMATH DE number 218548
• Three logics for branching bisimulation
• scientific article; zbMATH DE number 4108727
• The temporal logic of branching time

zbMATH Keywords

causalityconcurrencyconflictdistributed systemreasoning about the occurrences of events

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Modal logic (including the logic of norms) (03B45) Specification and verification (program logics, model checking, etc.) (68Q60) Semantics in the theory of computing (68Q55)

Cites Work

• Title not available (Why is that?)
• Decidability for branching time
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (10)

• Title not available (Why is that?)
• Context-free event domains are recognizable
• Context-free event domains are recognizable
• Branching cells for asymmetric event structures
• Title not available (Why is that?)
• Models and logics for true concurrency.
• Event identifier logic
• Verification of reactive systems using temporal logic with clocks
• Behavioural characterizations of partial order logics
• Concurrent hyperproperties

This page was built for publication: A logical characterization of well branching event structures

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