7027 search results - page 510 / 1406 » Software process: a roadmap |
222
click to vote
AMAST
2000
Springer
15 years 11 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...
228
click to vote
COMPCON
1996
IEEE
15 years 11 months ago
1996
IEEE
A broadband mediaprocessor is a general-purpose computer system which reaches the goal of communicating and processing at broadband rates using compiled software rather than speci...
160
click to vote
FOSSACS
2009
Springer
15 years 11 months ago
2009
Springer
Handshake protocols are asynchronous protocols that enforce several properties such as absence of transmission interference and insensitivity from delays of propagation on wires. W...
174
click to vote
FOSSACS
2004
Springer
15 years 11 months ago
2004
Springer
We prove that if a finite alphabet of actions contains at least two elements, then the equational theory for the process algebra BCCSP modulo any semantics no coarser than readines...
188
click to vote
FOSSACS
2006
Springer
15 years 10 months ago
2006
Springer
We prove that the equational theory of the process algebra BCCSP modulo completed simulation equivalence does not have a finite basis. Furthermore, we prove that with a finite alph...