Add to ORKGTimed Observations is a failure and divergence semantic model for concurrent processes, suitable for real-time systems. Actions are not instantaneous but need some time to complete their execution, and "true" concurrency is expressed by action multisets (bags). Time is global and discrete. The model is applied to TCSP, obtaining a denotational semantics, for which a complete proof system is developed
A logic for reasoning about timing properties of concurrent programs is presented. The logic is ba...
International audienceIn this paper we propose the use of the Timed Observation theory as a powerful...
We present a mathematical model which is the most abstract allowing (i) a fully compositional semant...
A model and a sound and complete proof system for networks of processes in which component processe...
This thesis presents and studies a timed computational model of parallelism, a Timed Calculus of Com...
We develop a model for the real-time behaviour of an extension of communicating sequential processes...
In this paper we propose the use of the Timed Observation theory as a powerful frameworks for model-...
We develop a model for the real-time behaviour of an extension of communicating sequential processes...
Once strictly the province of assembly-language programmers, real-time computing has developed into ...
Hoare’s Communicating Sequential Processes (CSP) (Hoare in Communicating Sequential Processes, Prent...
AbstractAn operational semantics is defined for the language of timed CSP, in terms of two relations...
. We extend the specification language of temporal logic, the corresponding verification framework, ...
Abstract. Timed-trace formalisms have emerged as a powerful method for specifying and reasoning abou...
AbstractWe extend the specification language of temporal logic, the corresponding verification frame...
Abstract. We propose a denotational model for real time concurrent systems, based on the failures mo...
A logic for reasoning about timing properties of concurrent programs is presented. The logic is ba...
International audienceIn this paper we propose the use of the Timed Observation theory as a powerful...
We present a mathematical model which is the most abstract allowing (i) a fully compositional semant...
A model and a sound and complete proof system for networks of processes in which component processe...
This thesis presents and studies a timed computational model of parallelism, a Timed Calculus of Com...
We develop a model for the real-time behaviour of an extension of communicating sequential processes...
In this paper we propose the use of the Timed Observation theory as a powerful frameworks for model-...
We develop a model for the real-time behaviour of an extension of communicating sequential processes...
Once strictly the province of assembly-language programmers, real-time computing has developed into ...
Hoare’s Communicating Sequential Processes (CSP) (Hoare in Communicating Sequential Processes, Prent...
AbstractAn operational semantics is defined for the language of timed CSP, in terms of two relations...
. We extend the specification language of temporal logic, the corresponding verification framework, ...
Abstract. Timed-trace formalisms have emerged as a powerful method for specifying and reasoning abou...
AbstractWe extend the specification language of temporal logic, the corresponding verification frame...
Abstract. We propose a denotational model for real time concurrent systems, based on the failures mo...
A logic for reasoning about timing properties of concurrent programs is presented. The logic is ba...
International audienceIn this paper we propose the use of the Timed Observation theory as a powerful...
We present a mathematical model which is the most abstract allowing (i) a fully compositional semant...