-
2
-
-
85002213636
-
A Software Architecture for Distributed Control Systems and its Transition System Semantics
-
J. Carroll, G. Lamont, D. Oppenheim, K. George, and B. Bryant, editors, ACM press, Feb
-
M. M. Bonsangue, J. N. Kok, M. Boasson, and E. de Jong. A Software Architecture for Distributed Control Systems and its Transition System Semantics. In J. Carroll, G. Lamont, D. Oppenheim, K. George, and B. Bryant, editors, Proceedings of the 1998 ACM Symposium on Applied Computing (SAC’98), pages 159-168. ACM press, Feb. 1998.
-
(1998)
Proceedings of the 1998 ACM Symposium on Applied Computing (SAC’98)
, pp. 159-168
-
-
Bonsangue, M.M.1
Kok, J.N.2
Boasson, M.3
De Jong, E.4
-
3
-
-
0000488718
-
Comparing software architectures for coordination languages
-
P. Ciancarini and A. L. Wolf, editors, of Lecture Notes in Computer Science, Springer Verlag
-
M. M. Bonsangue, J. N. Kok, and G. Zavattaro. Comparing software architectures for coordination languages. In P. Ciancarini and A. L. Wolf, editors, Proceedings of Coordination’99, volume 1594 of Lecture Notes in Computer Science, pages 150-165. Springer Verlag, 1999.
-
(1999)
Proceedings of Coordination’99
, vol.1594
, pp. 150-165
-
-
Bonsangue, M.M.1
Kok, J.N.2
Zavattaro, G.3
-
6
-
-
84957379824
-
Cadp (Cæsar/Aldébaran development package): A protocol validation and verification toolbox
-
R. Alur and T. A. Henzinger, editors, of Lecture Notes in Computer Science, Springer Verlag, Aug
-
J.-C. Fernandez, H. Garavel, A. Kerbrat, R. Mateescu, L. Mounier, and M. Sighireanu. Cadp (Cæsar/Aldébaran development package): A protocol validation and verification toolbox. In R. Alur and T. A. Henzinger, editors, Proceedings of the 8th Conference on Computer-Aided Verification, volume 1102 of Lecture Notes in Computer Science, pages 437-440. Springer Verlag, Aug. 1996.
-
(1996)
Proceedings of the 8Th Conference on Computer-Aided Verification
, vol.1102
, pp. 437-440
-
-
Fernandez, J.-C.1
Garavel, H.2
Kerbrat, A.3
Mateescu, R.4
Mounier, L.5
Sighireanu, M.6
-
7
-
-
0003821923
-
-
Technical Report SENR9709, CWI, June, Available from
-
J. F. Groote. The syntax and semantics of timed μCRL. Technical Report SENR9709, CWI, June 1997. Available from http: //www. cwi. nl.
-
(1997)
The Syntax and Semantics of Timed μCRL
-
-
Groote, J.F.1
-
11
-
-
84957409199
-
An integration of model checking with automated proof checking
-
of Lecture Notes in Computer Science
-
S. Rajan, N. Shankar, and M. Srivar. An integration of model checking with automated proof checking. In P. Wolper, editor, Proceedings of the 1995 workshop on Computer Aided Verification, volume 939 of Lecture Notes in Computer Science, 1995.
-
(1995)
P. Wolper, Editor, Proceedings of the 1995 Workshop on Computer Aided Verification
, vol.939
-
-
Rajan, S.1
Shankar, N.2
Srivar, M.3
|