Axiomatising real-timed processes

DOI10.1007/3-540-58027-1_10MaRDI QIDQ5890048zbMATH OpenOpenAlexFDO

Authors Liang Chen

Publication date 28 April 2023

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-58027-1_10

zbMATH Keywords

disjunctive normal formoperational semanticparallel compositionproof systemtime expression

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Cites work

• A calculus of communicating systems
• A proof system for communicating processes with value-passing
• A timed model for communicating sequential processes
• Algebra of communicating processes with abstraction
• Axiomatising Finite Concurrent Processes
• scientific article; zbMATH DE number 1678357 (Why is no real title available?)
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 49713 (Why is no real title available?)
• scientific article; zbMATH DE number 4119653 (Why is no real title available?)
• Real time process algebra

Cited in

(7)

• A conservative look at operational semantics with variable binding
• A complete axiomatization of finite-state ACSR processes
• A specification theory of real-time processes
• scientific article; zbMATH DE number 4047057 (Why is no real title available?)
• scientific article; zbMATH DE number 1267564 (Why is no real title available?)
• scientific article; zbMATH DE number 1512619 (Why is no real title available?)
• A complete axiomatization of timed bisimulation for a class of timed regular behaviours

This page was built for publication: Axiomatising real-timed processes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5890048)