A process algebraic framework for specification and validation of real-time systems
type: Item
instance of: scholarly article
title: A process algebraic framework for specification and validation of real-time systems
zbMATH Open document ID: 1214.68224
author: Adnan Sherif
author: Ana Cavalcanti
author: He Jifeng
author: Augusto Sampaio
published in: Formal Aspects of Computing
publication date: 2010-05-05T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68Q85
zbMATH DE Number: 5703856
zbMATH Keywords: relational models
zbMATH Keywords: unifying theories of programming
zbMATH Keywords: CSP
zbMATH Keywords: Galois connections
describes a project that uses: Uppaal
describes a project that uses: Circus
describes a project that uses: Rabbit
describes a project that uses: Z
describes a project that uses: ProofPower
MaRDI profile type: Publication
full work available at URL: s00165-009-0119-6
OpenAlex ID: W1998976523
cites work: A theory of timed automata
cites work: Q2763979
cites work: A calculus of durations
cites work: A refinement strategy for Circus
cites work: Q4144755
cites work: A brief history of Timed CSP
cites work: Q4509996
cites work: Unifying theories for logic programming
cites work: Q3777424
cites work: Uppaal in a nutshell
cites work: Q4301161
cites work: A timed model for communicating sequential processes
cites work: Q4412559
cites work: Theoretical Aspects of Computing - ICTAC 2004
cites work: Q2764145
cites work: Q4494259
cites work: FM 2005: Formal Methods
cites work: Q4301167
DOI: 10.1007/S00165-009-0119-6
description: scientific article; zbMATH DE number 5703856