-
2
-
-
0023544236
-
Introduction to the ISO specification language LOTOS
-
January
-
T. Bolognesi and Ed Brinksma. Introduction to the ISO specification language LOTOS. Computer Networks and ISDN Systems, 14(1): 25-59, January 1987.
-
(1987)
Computer Networks and ISDN Systems
, vol.14
, Issue.1
, pp. 25-59
-
-
Bolognesi, T.1
Brinksma, E.2
-
3
-
-
0342694716
-
An improved failures model for communication processes
-
S. D. Brookes and A. W. Roscoe. An improved failures model for communication processes. In Lecture Notes on Computer Science, volume 197, pages 281-305, 1985.
-
(1985)
Lecture Notes on Computer Science
, vol.197
, pp. 281-305
-
-
Brookes, S.D.1
Roscoe, A.W.2
-
4
-
-
0042353271
-
Deadlock analysis in networks of communicating processes
-
S. D. Brookes and A. W. Roscoe. Deadlock analysis in networks of communicating processes. Distributed Computing, pages 209-230, 1991.
-
(1991)
Distributed Computing
, pp. 209-230
-
-
Brookes, S.D.1
Roscoe, A.W.2
-
5
-
-
0342694715
-
Fault-Tolerance Aspects of the On-Board Computer of the First INPE Microsatellite for Scientific Appücations
-
August
-
A. R. de Paula Jr. Fault-Tolerance Aspects of the On-Board Computer of the First INPE Microsatellite for Scientific Appücations. VI Brazilian Symposium on Fault-Tolerant Computers, August 1995.
-
(1995)
VI Brazilian Symposium on Fault-Tolerant Computers
-
-
de Paula, A.R.1
-
7
-
-
0342694713
-
-
Technical report, University of Oldenburg
-
C. Fischer. Combining CSP and Z. Technical report, University of Oldenburg, 1996.
-
(1996)
Combining CSP and Z
-
-
Fischer, C.1
-
10
-
-
84957380343
-
A Semantic Integration of Object-Z and CSP for the Specification of Concurrent Systems
-
number 1313 in Lecture Notes in Computer Science,. Springer Verlag
-
G. Smith. A Semantic Integration of Object-Z and CSP for the Specification of Concurrent Systems. In FME'97: Industrial Applications and Strengthened Foundations of Formal Methods, number 1313 in Lecture Notes in Computer Science, pages 62-81. Springer Verlag, 1997.
-
(1997)
FME'97: Industrial Applications and Strengthened Foundations of Formal Methods
, pp. 62-81
-
-
Smith, G.1
-
11
-
-
0004215719
-
-
SRI International, SRI-CSL-88-9, August, Revised version to appear with additional authors José Meseguer, Kokichi Futatsugi and Jean-Pierre Jouannaud, in Applications of Algebraic Specification using OBJ
-
J. A. Goguen and T. Winkler. Introducing OBJ3. Technical report, SRI International, SRI-CSL-88-9, August 1988. Revised version to appear with additional authors José Meseguer, Kokichi Futatsugi and Jean-Pierre Jouannaud, in Applications of Algebraic Specification using OBJ.
-
(1988)
Introducing OBJ3. Technical report
-
-
Goguen, J.A.1
Winkler, T.2
-
19
-
-
84947764778
-
The Z/EVES System
-
Lecture Notes in Computer Science, 1212, Springer
-
M. Saaltink. The Z/EVES System. In ZUM'97: The Z Formal Specification Notation, pages 72-85. Lecture Notes in Computer Science, 1212, Springer, 1997.
-
(1997)
ZUM'97: The Z Formal Specification Notation
, pp. 72-85
-
-
Saaltink, M.1
|