A theory of processes with durational actions
type: Item
instance of: scholarly article
title: A theory of processes with durational actions
zbMATH Open document ID: 0874.68113
DOI: 10.1016/0304-3975(94)00205-W
author: Roberto Gorrieri
author: Marco Roccetti
author: Enrico Stancampiano
published in: Theoretical Computer Science
publication date: 1997-02-28T00:00:00Z
Mathematics Subject Classification ID: 68Q10
zbMATH DE Number: 985887
zbMATH Keywords: bisimulation
zbMATH Keywords: process algebras
describes a project that uses: LOTOS
MaRDI profile type: Publication
cites work: Real time process algebra
cites work: Process Algebra
cites work: Q3814822
cites work: A Theory of Communicating Sequential Processes
cites work: OBSERVING DISTRIBUTION IN PROCESSES: STATIC AND DYNAMIC LOCALITIES
cites work: Q4733427
cites work: Q2736365
cites work: Split and ST bisimulation semantics
cites work: A Compositional Approach to Performance Modelling
cites work: Q3992568
cites work: From ATP to timed graphs and hybrid systems
cites work: Petri nets, event structures and domains. I
cites work: Q3727392
cites work: Q3907077
cites work: A structural approach to operational semantics
cites work: Q3805922
cites work: Q3975146
cites work: Q3771632
cites work: Timed testing of concurrent systems
description: scientific article; zbMATH DE number 985887