9 search results - page 1 / 2 » amast 2000 |
AMAST
2000
Springer
13 years 10 months ago
2000
Springer
AMAST
2000
Springer
13 years 10 months ago
2000
Springer
AMAST
2000
Springer
13 years 10 months ago
2000
Springer
Modelling multi-tasking behaviour is an important phase of real-time system design. It is shown how task scheduling principles can be captured in a CCS-based process algebra via ex...
AMAST
2000
Springer
13 years 10 months ago
2000
Springer
The behavior of reactive systems is typically speci ed by state machines. This results in an operational description of how a system its output. An alternative and more abstract ap...
AMAST
2000
Springer
13 years 10 months ago
2000
Springer
In the paper we present an ACP-like process algebra which can be used to model both probabilistic and time behaviour of parallel systems. This process algebra is obtained by extens...