Synchronous Kleene algebra
From MaRDI portal
Publication:710676
DOI10.1016/j.jlap.2010.07.009zbMath1204.68123OpenAlexW2114258290WikidataQ114851550 ScholiaQ114851550MaRDI QIDQ710676
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
synchronyautomata theorycompletenessuniversal algebraHoare logicKleene algebraconcurrency modelsBoolean testsSCCS calculus
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
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