Synchronous Kleene algebra

DOI10.1016/j.jlap.2010.07.009zbMath1204.68123OpenAlexW2114258290WikidataQ114851550 ScholiaQ114851550MaRDI QIDQ710676

Cristian Prisacariu

Publication date: 22 October 2010

Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlap.2010.07.009

zbMATH Keywords

synchronyautomata theorycompletenessuniversal algebraHoare logicKleene algebraconcurrency modelsBoolean testsSCCS calculus

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Related Items

Weighted synchronous automata ⋮ Concurrent Kleene algebra with tests and branching automata ⋮ A synchronous program algebra: a basis for reasoning about shared-memory and event-based concurrency ⋮ Deciding Synchronous Kleene Algebra with Derivatives ⋮ A dynamic deontic logic for complex contracts ⋮ Introducing synchrony in fuzzy automata ⋮ On series-parallel pomset languages: rationality, context-freeness and automata ⋮ A synchronous effects logic for temporal verification of pure Esterel ⋮ Concurrent Kleene algebra and its foundations ⋮ Unnamed Item ⋮ A semantics and a logic for \textit{Fuzzy Arden Syntax}

Uses Software

• mCRL2
• KAT-ML
• Esterel

Cites Work

• Free shuffle algebras in language varieties
• A deontic logic of action
• Local variable scoping and Kleene algebra with tests
• Calculi for synchrony and asynchrony
• Higher-level synchronising devices in Meije-SCCS
• Modeling concurrency with partial orders
• The Esterel synchronous programming language: Design, semantics, implementation
• An axiomatic proof technique for parallel programs
• A completeness theorem for Kleene algebras and the algebra of regular events
• Regular expressions and the equivalence of programs
• Concurrent Kleene Algebra
• Relational Semantics for Higher-Order Programs
• $\mathcal{CL}$ : An Action-Based Logic for Reasoning about Contracts
• KAT-ML: an interactive theorem prover for Kleene algebra with tests
• Two Complete Axiom Systems for the Algebra of Regular Events
• On Hoare logic and Kleene algebra with tests
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Synchronous Kleene algebra