3763 search results - page 293 / 753 » Component-Based Software Engineering Processes |
205
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...
147
click to vote
FOSSACS
2009
Springer
15 years 10 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...
160
click to vote
FOSSACS
2004
Springer
15 years 10 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...
169
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...
145
click to vote
APL
1995
ACM
15 years 10 months ago
1995
ACM
The behavior of one and two dimensional automata are displayed in two and three dimensions and via animations. Implementations of finite automata in J using "infix" and ...