722 search results - page 13 / 145 » The State Operator in Real Time Process Algebra |
151
click to vote
ECOOP
1995
Springer
15 years 7 months ago
1995
Springer
Abstract. This paper presents a framework of specification and verification for distributed real-time object-oriented systems. An earlier paper [17] introduced a process calculus...
138
click to vote
CONCUR
1994
Springer
15 years 8 months ago
1994
Springer
Abstract. In this paper we study a special operator for sequential composition, which is de ned relative to a dependency relation over the actions of a given system. The idea is th...
124
Voted
ICMCS
2006
IEEE
15 years 10 months ago
2006
IEEE
— A major challenge in the design of any real time system is the proper selection of implementation and platform alternatives. In this paper, a suitable FPGA-based design of the ...
160
click to vote
CUZA
2002
15 years 3 months ago
2002
This paper presents Process Algebra for Predictible Control Systems (PAPCS) as a model for specifying and analysis of concurrent, time and resource dependent, distributed control s...
121
click to vote
EDOC
2003
IEEE
15 years 9 months ago
2003
IEEE
As the desire for business intelligence capabilities for e-business processes expands, existing workflow management systems and decision support systems are not able to provide co...