Synchronous Kleene algebra
From MaRDI portal
Publication:710676
DOI10.1016/J.JLAP.2010.07.009zbMATH Open1204.68123OpenAlexW2114258290WikidataQ114851550 ScholiaQ114851550MaRDI QIDQ710676FDOQ710676
Recommendations
Cites work
- scientific article; zbMATH DE number 1696821 (Why is no real title available?)
- scientific article; zbMATH DE number 4210141 (Why is no real title available?)
- scientific article; zbMATH DE number 3932372 (Why is no real title available?)
- scientific article; zbMATH DE number 3967898 (Why is no real title available?)
- scientific article; zbMATH DE number 4039251 (Why is no real title available?)
- scientific article; zbMATH DE number 3651760 (Why is no real title available?)
- scientific article; zbMATH DE number 3756452 (Why is no real title available?)
- scientific article; zbMATH DE number 42752 (Why is no real title available?)
- scientific article; zbMATH DE number 3560737 (Why is no real title available?)
- scientific article; zbMATH DE number 3624763 (Why is no real title available?)
- scientific article; zbMATH DE number 475236 (Why is no real title available?)
- scientific article; zbMATH DE number 683363 (Why is no real title available?)
- scientific article; zbMATH DE number 1556014 (Why is no real title available?)
- scientific article; zbMATH DE number 4119618 (Why is no real title available?)
- scientific article; zbMATH DE number 4119660 (Why is no real title available?)
- scientific article; zbMATH DE number 3274722 (Why is no real title available?)
- scientific article; zbMATH DE number 3366846 (Why is no real title available?)
- scientific article; zbMATH DE number 2208070 (Why is no real title available?)
- $\mathcal{CL}$ : An Action-Based Logic for Reasoning about Contracts
- A completeness theorem for Kleene algebras and the algebra of regular events
- A deontic logic of action
- An axiomatic proof technique for parallel programs
- Calculi for synchrony and asynchrony
- Concurrent Kleene Algebra
- Free shuffle algebras in language varieties
- Higher-level synchronising devices in Meije-SCCS
- KAT-ML: an interactive theorem prover for Kleene algebra with tests
- Local variable scoping and Kleene algebra with tests
- Modeling concurrency with partial orders
- On Hoare logic and Kleene algebra with tests
- Regular expressions and the equivalence of programs
- Relational Semantics for Higher-Order Programs
- The Esterel synchronous programming language: Design, semantics, implementation
- Two Complete Axiom Systems for the Algebra of Regular Events
Cited in
(15)- A synchronous effects logic for temporal verification of pure Esterel
- On series-parallel pomset languages: rationality, context-freeness and automata
- Completeness and incompleteness of synchronous Kleene algebra
- Kleene Theorems for Synchronous Products with Matching
- A dynamic deontic logic for complex contracts
- Brzozowski goes concurrent -- a Kleene theorem for pomset languages
- scientific article; zbMATH DE number 7559476 (Why is no real title available?)
- Weighted synchronous automata
- Concurrent Kleene Algebra
- A semantics and a logic for \textit{Fuzzy Arden Syntax}
- Concurrent Kleene algebra and its foundations
- Introducing synchrony in fuzzy automata
- A synchronous program algebra: a basis for reasoning about shared-memory and event-based concurrency
- Concurrent Kleene algebra with tests and branching automata
- Deciding synchronous Kleene algebra with derivatives
This page was built for publication: Synchronous Kleene algebra
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q710676)
