The real-time process algebra (RTPA)

DOI10.1023/A:1020561826073zbMath1012.68600OpenAlexW1483241283MaRDI QIDQ1857952

Yingxu Wang

Publication date: 19 February 2003

Published in: Annals of Software Engineering (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1020561826073

zbMATH Keywords

real-time systemsformal methodsalgebraic specificationsoftware engineeringdynamic behaviors3-D problemsarchitecture specificationdescriptive mathematicsstatic behaviors

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (3)

ON FORMAL AND COGNITIVE SEMANTICS FOR SEMANTIC COMPUTING ⋮ Putting Natural Time into Science ⋮ A Spatial Extension to the π Calculus

This page was built for publication: The real-time process algebra (RTPA)