The real-time process algebra (RTPA)
type: Item
instance of: scholarly article
title: The real-time process algebra (RTPA)
zbMATH Open document ID: 1012.68600
DOI: 10.1023/A:1020561826073
author: Yingxu Wang
published in: Annals of Software Engineering
publication date: 2003-02-19T00:00:00Z
Mathematics Subject Classification ID: 68U99
Mathematics Subject Classification ID: 68N30
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68Q65
zbMATH DE Number: 1871250
zbMATH Keywords: software engineering
zbMATH Keywords: descriptive mathematics
zbMATH Keywords: formal methods
zbMATH Keywords: real-time systems
zbMATH Keywords: algebraic specification
zbMATH Keywords: 3-D problems
zbMATH Keywords: architecture specification
zbMATH Keywords: static behaviors
zbMATH Keywords: dynamic behaviors
MaRDI profile type: Publication
full work available at URL: a:1020561826073
OpenAlex ID: W1483241283
description: scientific article; zbMATH DE number 1871250