Temporal theories as modularisation units for concurrent system specification
type: Item
instance of: scholarly article
title: Temporal theories as modularisation units for concurrent system specification
zbMATH Open document ID: 0746.68031
DOI: 10.1007/BF01212304
published in: Formal Aspects of Computing
publication date: 1992-09-27T00:00:00Z
Mathematics Subject Classification ID: 68Q10
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 68Q65
zbMATH DE Number: 61207
zbMATH Keywords: concurrency
zbMATH Keywords: object-oriented systems
zbMATH Keywords: modularity
zbMATH Keywords: reactive systems
author: José Fiadeiro
author: Tim Maibaum
MaRDI profile type: Publication
cites work: Q3997112
cites work: Q4733381
cites work: Q3680252
cites work: Q3468602
cites work: Q3221381
cites work: Q4052071
cites work: Logics of Modal Terms for Systems Specification
cites work: Temporal Reasoning over Deontic Specifications
cites work: Q3886835
cites work: A categorical manifesto
cites work: Q4198543
cites work: Q3997501
cites work: Q3777424
cites work: Specifying Concurrent Program Modules
cites work: Q3042444
cites work: Specifications in an arbitrary institution
full work available at URL: https://doi.org/10.1007/bf01212304
OpenAlex ID: W2005819264
Recommended article: Q4002642
Recommended article: Q3812210
Recommended article: Q4733381
Recommended article: Modeling Concurrent systems specified in a Temporal Concurrent Constraint language-I
Recommended article: Q3680252
Recommended article: Q4256654
Recommended article: Modularity for timed and hybrid systems
description: scientific article; zbMATH DE number 61207