9 search results - page 1 / 2 » amast 2000 |
AMAST
2000
Springer
13 years 9 months ago
2000
Springer
AMAST
2000
Springer
13 years 9 months ago
2000
Springer
AMAST
2000
Springer
13 years 9 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 9 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 9 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...