ENFORCING CONCURRENT TEMPORAL BEHAVIORS

DOI10.1142/S012905410600408XzbMath1098.68080OpenAlexW2161319638MaRDI QIDQ5484900

Hongyang Qu, Doron A. Peled

Publication date: 21 August 2006

Published in: International Journal of Foundations of Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1142/s012905410600408x

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (2)

Calculating Probabilities of Real-Time Test Cases ⋮ Time Unbalanced Partial Order

Cites Work

• Unnamed Item
• Bisimulation and action refinement
• Modeling concurrency with partial orders
• Petri nets, event structures and domains. I
• An algorithmic approach for checking closure properties of temporal logic specifications and \(\omega\)-regular languages
• Well-behaved flow event structures for parallel composition and action refinement
• Notes on finite asynchronous automata
• Time, clocks, and the ordering of events in a distributed system
• A Theorem on Boolean Matrices

This page was built for publication: ENFORCING CONCURRENT TEMPORAL BEHAVIORS