4353 search results - page 81 / 871 » Expressiveness of Process Algebras |
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...
104
Voted
TSD
2007
Springer
15 years 10 months ago
2007
Springer
91
Voted
CICLING
2004
Springer
15 years 9 months ago
2004
Springer
DAGM
2001
Springer
15 years 8 months ago
2001
Springer