Coordinating action systems
type: Item
instance of: scholarly article
title: Coordinating action systems
zbMATH Open document ID: 0959.68006
DOI: 10.1016/S0304-3975(99)00228-5
author: Eric J. Hedman
author: Joost N. Kok
author: K. Sere
published in: Theoretical Computer Science
publication date: 2001-01-23T00:00:00Z
Mathematics Subject Classification ID: 68M20
zbMATH DE Number: 1555224
zbMATH Keywords: real-time scheduling
describes a project that uses: ImpUNITY
MaRDI profile type: Publication
cites work: Superposition refinement of reactive systems
cites work: Compositional action system refinement
cites work: The weakest precondition calculus: Recursion and duality
cites work: Q4692502
cites work: Programming as a Discipline of Mathematical Nature
cites work: Coordination in the ImpUNITY framework
cites work: The specification statement
cites work: A theoretical basis for stepwise refinement and the programming calculus
cites work: Priority inheritance protocols: an approach to real-time synchronization
cites work: Unity properties and sequences of states, some observations
full work available at URL: s0304-3975(99)00228-5
OpenAlex ID: W2002045097
Recommended article: Distributed cooperation with action systems
Recommended article: Automata, Languages and Programming
Recommended article: Coordination mechanisms
Recommended article: Coordinated planning in a discrete active system
Recommended article: Coordination
Recommended article: Hybrid action systems
Recommended article: Coordination control of distributed systems
Recommended article: Q3318601
Recommended article: Q4246828
Recommended article: Logic Programming
description: scientific article; zbMATH DE number 1555224