DOIAbstract
AbstractThis paper raises the question on how to specify timeouts in process algebra, and finds that the basic formalisms fall short in this task
AbstractThis paper raises the question on how to specify timeouts in process algebra, and finds that the basic formalisms fall short in this task
A process whose correctness depends on its adherence to explicit timing constraints is a time depend...
AbstractWe add conditionals with time-dependent conditions to the real time process algebra with par...
This paper discusses action abstraction in timed process algebras. It is observed that the leading a...
This paper raises the question on how to specify timeouts in process algebra, and finds that the bas...
In ACP-style process algebra, the interpretation of a constant atomic action combines action executi...
AbstractIn ACP-style process algebra, the interpretation of a constant atomic action combines action...
\u3cp\u3eWe treat theory and application of timed process algebra. We focus on a variant that uses e...
We shortly review the framework of process algebras with timing presented by Baeten and Middelburg [...
In real-time programming a timeout mechanism allows exceptional behaviour, such as a lack of respons...
AbstractWe shortly review the framework of process algebras with timing presented by Baeten and Midd...
AbstractThe algebra of timed processes, ATP, uses a notion of discrete global time and suggests a co...
In this paper, we propose the notion of partial time abstraction for timed process algebras, which i...
The possibility of two or more actions to be performed consecutively at the same point in time is n...
AbstractA standard process algebra is extended by a new action σ which is meant to denote idling unt...
A process whose correctness depends on its adherence to explicit timing constraints is a time depend...
AbstractWe add conditionals with time-dependent conditions to the real time process algebra with par...
This paper discusses action abstraction in timed process algebras. It is observed that the leading a...
This paper raises the question on how to specify timeouts in process algebra, and finds that the bas...
In ACP-style process algebra, the interpretation of a constant atomic action combines action executi...
AbstractIn ACP-style process algebra, the interpretation of a constant atomic action combines action...
\u3cp\u3eWe treat theory and application of timed process algebra. We focus on a variant that uses e...
We shortly review the framework of process algebras with timing presented by Baeten and Middelburg [...
In real-time programming a timeout mechanism allows exceptional behaviour, such as a lack of respons...
AbstractWe shortly review the framework of process algebras with timing presented by Baeten and Midd...
AbstractThe algebra of timed processes, ATP, uses a notion of discrete global time and suggests a co...
In this paper, we propose the notion of partial time abstraction for timed process algebras, which i...
The possibility of two or more actions to be performed consecutively at the same point in time is n...
AbstractA standard process algebra is extended by a new action σ which is meant to denote idling unt...
A process whose correctness depends on its adherence to explicit timing constraints is a time depend...
AbstractWe add conditionals with time-dependent conditions to the real time process algebra with par...
This paper discusses action abstraction in timed process algebras. It is observed that the leading a...
Add to ORKG