Synchronous Kleene algebra
type: Item
instance of: scholarly article
title: Synchronous Kleene algebra
zbMATH Open document ID: 1204.68123
author: Cristian Prisacariu
published in: The Journal of Logic and Algebraic Programming
publication date: 2010-10-22T00:00:00Z
Mathematics Subject Classification ID: 68Q45
zbMATH DE Number: 5804235
zbMATH Keywords: universal algebra
zbMATH Keywords: Kleene algebra
zbMATH Keywords: Boolean tests
zbMATH Keywords: synchrony
zbMATH Keywords: SCCS calculus
zbMATH Keywords: concurrency models
zbMATH Keywords: automata theory
zbMATH Keywords: completeness
zbMATH Keywords: Hoare logic
Wikidata QID: Q114851550
describes a project that uses: KAT-ML
describes a project that uses: mCRL2
describes a project that uses: Esterel
MaRDI profile type: Publication
full work available at URL: j.jlap.2010.07.009
OpenAlex ID: W2114258290
cites work: KAT-ML: an interactive theorem prover for Kleene algebra with tests
cites work: Relational Semantics for Higher-Order Programs
cites work: Local variable scoping and Kleene algebra with tests
cites work: Q4187288
cites work: Q3735065
cites work: The Esterel synchronous programming language: Design, semantics, implementation
cites work: Free shuffle algebras in language varieties
cites work: Q5639639
cites work: Higher-level synchronising devices in Meije-SCCS
cites work: Q4312484
cites work: Q4525781
cites work: Q3777424
cites work: Concurrent Kleene Algebra
cites work: Regular expressions and the equivalence of programs
cites work: Q3939782
cites work: Q3358736
cites work: A completeness theorem for Kleene algebras and the algebra of regular events
cites work: On Hoare logic and Kleene algebra with tests
cites work: Q5693581
cites work: Q2767087
cites work: Q3704880
cites work: Q4733400
cites work: Calculi for synchrony and asynchrony
cites work: Q3992568
cites work: Q3851636
cites work: An axiomatic proof technique for parallel programs
cites work: Modeling concurrency with partial orders
cites work: Q4273477
cites work: $\mathcal{CL}$ : An Action-Based Logic for Reasoning about Contracts
cites work: Two Complete Axiom Systems for the Algebra of Regular Events
cites work: A deontic logic of action
cites work: Q4131648
cites work: Q5560264
cites work: Q4733435
DOI: 10.1016/J.JLAP.2010.07.009
description: scientific article; zbMATH DE number 5804235