Absolute versus relative time in process algebras.
type: Item
instance of: scholarly article
title: Absolute versus relative time in process algebras.
zbMATH Open document ID: 1046.68618
author: Flavio Corradini
published in: Information and Computation
publication date: 2003-01-14T00:00:00Z
Mathematics Subject Classification ID: 68Q85
zbMATH DE Number: 1853084
zbMATH Keywords: Timed process algebras
zbMATH Keywords: real-time systems
zbMATH Keywords: closed interval process algebra
zbMATH Keywords: temporal CCS
MaRDI profile type: Publication
full work available at URL: inco.1999.2821
OpenAlex ID: W1970078694
cites work: Timing and causality in process algebra
cites work: Real time process algebra
cites work: Q4733426
cites work: On performance congruences for process algebras
cites work: Dynamic matrices and the cost analysis of concurrent programs
cites work: Branching time and abstraction in bisimulation semantics
cites work: A theory of processes with durational actions
cites work: Transition system specifications with negative premises
cites work: Q4845486
cites work: A process algebra for timed systems
cites work: An efficiency preorder for processes
cites work: Q3992568
cites work: A calculus of mobile processes. I
cites work: A timed model for communicating sequential processes
cites work: Timed testing of concurrent systems
DOI: 10.1006/INCO.1999.2821
description: scientific article; zbMATH DE number 1853084