Timed processes : models, axioms and decidability
This thesis presents and studies a timed computational model of parallelism, a Timed Calculus of Communicating Systems or Timed CCS for short. Timed CCS is an extension of Milner's CCS with time. We allow time to be discrete, such as the natural numbers, or dense, such as the non-negative ratio...
Main Author: | |
---|---|
Other Authors: | |
Published: |
University of Edinburgh
1993
|
Subjects: | |
Online Access: | https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.561630 |