-
1
-
-
0018005960
-
An automated technique of communications protocol validation
-
C.H. West, An automated technique of communications protocol validation, IEEE Trans. Comm., 26 (1978) 1271-1275.
-
(1978)
IEEE Trans. Comm.
, vol.26
, pp. 1271-1275
-
-
West, C.H.1
-
2
-
-
0020735797
-
On communicating finite state machines
-
D. Brand and P. Zafiropulo, On communicating finite state machines, J. ACM, 30 (1983) 361-371.
-
(1983)
J. ACM
, vol.30
, pp. 361-371
-
-
Brand, D.1
Zafiropulo, P.2
-
6
-
-
0003576234
-
Analysis of asynchronous concurrent systems by timed Petri nets
-
MIT
-
C. Ramchandani, Analysis of asynchronous concurrent systems by timed Petri nets, Technical Report 120, MIT, 1974.
-
(1974)
Technical Report 120
-
-
Ramchandani, C.1
-
7
-
-
0017001923
-
Recoverability of communication protocols
-
P. Merlin and D.J. Faber, Recoverability of communication protocols, IEEE Trans. Comm., 24 (1976) 1036-1048.
-
(1976)
IEEE Trans. Comm.
, vol.24
, pp. 1036-1048
-
-
Merlin, P.1
Faber, D.J.2
-
8
-
-
0026120365
-
Modeling and verification of time dependent systems using time Petri nets
-
B. Berthomieu and M. Diaz, Modeling and verification of time dependent systems using time Petri nets, IEEE Trans. Soft. Eng., 17 (1991) 259-273.
-
(1991)
IEEE Trans. Soft. Eng.
, vol.17
, pp. 259-273
-
-
Berthomieu, B.1
Diaz, M.2
-
9
-
-
0000655710
-
Automata for modelling real-time systems
-
LNCS 443, Springer-Verlag
-
R. Alur and D.L. Dill, Automata for modelling real-time systems, Proc. ICALP'90, LNCS 443, Springer-Verlag, 1990, pp. 323-335.
-
(1990)
Proc. ICALP'90
, pp. 323-335
-
-
Alur, R.1
Dill, D.L.2
-
11
-
-
85029884473
-
Timed transition systems
-
LNCS 600, Springer-Verlag
-
T.A. Henzinger, Z. Manna and A. Pnueli, Timed transition systems, Proc. REX Workshop, LNCS 600, Springer-Verlag, 1991, pp. 226-251.
-
(1991)
Proc. REX Workshop
, pp. 226-251
-
-
Henzinger, T.A.1
Manna, Z.2
Pnueli, A.3
-
12
-
-
0026913218
-
Communicating real-time state machines
-
A.C. Shaw, Communicating real-time state machines, IEEE Trans. Soft. Eng., 18 (1992) 805-816.
-
(1992)
IEEE Trans. Soft. Eng.
, vol.18
, pp. 805-816
-
-
Shaw, A.C.1
-
13
-
-
51549096502
-
Logics and models of real-time: A survey
-
LNCS 600, Springer-Verlag
-
R. Alur and T.A. Henzinger, Logics and models of real-time: a survey, Proc. REX Workshop, LNCS 600, Springer-Verlag, 1991, pp. 74-106.
-
(1991)
Proc. REX Workshop
, pp. 74-106
-
-
Alur, R.1
Henzinger, T.A.2
-
14
-
-
85029615220
-
An overview and synthesis on timed process algebras
-
LNCS 575, Springer-Verlag
-
X. Nicollin and J. Sifakis, An overview and synthesis on timed process algebras, Proc. CAV'91, LNCS 575, Springer-Verlag, 1991, pp. 376-398.
-
(1991)
Proc. CAV'91
, pp. 376-398
-
-
Nicollin, X.1
Sifakis, J.2
-
16
-
-
5244321989
-
About time, nondeterminism and exception handling in a temporal extension of LOTOS
-
Chapman & Hall
-
J.P. Courtiat and R.C. de Oliveira, About time, nondeterminism and exception handling in a temporal extension of LOTOS, Proc. of 14th Int. Symp. on Protocol Specification, Testing and Verification (PSTV'94), Chapman & Hall, 1995, pp. 37-52.
-
(1995)
Proc. of 14th Int. Symp. on Protocol Specification, Testing and Verification (PSTV'94)
, pp. 37-52
-
-
Courtiat, J.P.1
De Oliveira, R.C.2
-
17
-
-
0348155177
-
Adding performance aspects to specification languages
-
North-Holland
-
G. von Bochmann and J. Vaucher, Adding performance aspects to specification languages, Proc. 8th Int. Symp. on Protocol Specification, Testing and Verification (PSTV'88), North-Holland, 1989, pp. 19-30.
-
(1989)
Proc. 8th Int. Symp. on Protocol Specification, Testing and Verification (PSTV'88)
, pp. 19-30
-
-
Von Bochmann, G.1
Vaucher, J.2
-
19
-
-
0018728016
-
A polynomial time algorithm for solving systems of linear inequalities with two variables per inequality
-
B. Aspavall and Y. Shiloach, A polynomial time algorithm for solving systems of linear inequalities with two variables per inequality, Proc. 20th Ann. Symp. on Foundation of Computer Science, IEEE, 1979, pp. 205-217.
-
(1979)
Proc. 20th Ann. Symp. on Foundation of Computer Science, IEEE
, pp. 205-217
-
-
Aspavall, B.1
Shiloach, Y.2
|