-
1
-
-
35048862279
-
A tutorial on Uppaal
-
LNCS Springer
-
G. Behrmann, A. David, and K. Larsen. A tutorial on Uppaal. In Formal Methods for the Design of Real-Time Systems, LNCS 3185, pages 200-236. Springer, 2004.
-
(2004)
Formal Methods for the Design of Real-Time Systems
, vol.3185
, pp. 200-236
-
-
Behrmann, G.1
David, A.2
Larsen, K.3
-
2
-
-
36148931085
-
Uppaal 4.0
-
IEEE CS
-
G. Behrmann, A. David, K. G. Larsen, J. Håkansson, P. Pettersson, W. Yi, and M. Hendriks. Uppaal 4.0. In Proceedings QEST, pages 125-126. IEEE CS, 2006.
-
(2006)
Proceedings QEST
, pp. 125-126
-
-
Behrmann, G.1
David, A.2
Larsen, K.G.3
Håkansson, J.4
Pettersson, P.5
Yi, W.6
Hendriks, M.7
-
4
-
-
0003962322
-
-
MIT Press, Cambridge, MA
-
E. Clarke, O. Grumberg, and D. Peled. Model Checking. MIT Press, Cambridge, MA, 1999.
-
(1999)
Model Checking
-
-
Clarke, E.1
Grumberg, O.2
Peled, D.3
-
5
-
-
0002692124
-
Cooperating sequential processes
-
Academic Press
-
E. W. Dijkstra. Cooperating sequential processes. In Programming Languages. Academic Press, 1968.
-
(1968)
Programming Languages
-
-
Dijkstra, E.W.1
-
6
-
-
0015195766
-
Hierarchical ordering of sequential processes
-
E. W. Dijkstra. Hierarchical ordering of sequential processes. Acta Informatica, 1:115-138, 1971.
-
(1971)
Acta Informatica
, vol.1
, pp. 115-138
-
-
Dijkstra, E.W.1
-
7
-
-
84976779102
-
The humble programmer
-
Turing Award lecture
-
E. W. Dijkstra. The humble programmer. Commun. ACM, 15(10):859-866, 1972. Turing Award lecture.
-
(1972)
Commun. ACM
, vol.15
, Issue.10
, pp. 859-866
-
-
Dijkstra, E.W.1
-
10
-
-
0016114085
-
Monitors: An operating system structuring concept
-
C. Hoare. Monitors: An operating system structuring concept. Commun. ACM, 17(10):549-557, 1974.
-
(1974)
Commun. ACM
, vol.17
, Issue.10
, pp. 549-557
-
-
Hoare, C.1
-
12
-
-
22944436717
-
Comments on a problem in concurrent programming control
-
H. Hyman. Comments on a problem in concurrent programming control. Commun. ACM, 9(1):45, 1966.
-
(1966)
Commun. ACM
, vol.9
, Issue.1
, pp. 45
-
-
Hyman, H.1
-
13
-
-
33845233299
-
+cal
-
LNCS Springer
-
+cal. In Proceedings DISC 2006, LNCS 4167, pages 151-163. Springer, 2006.
-
(2006)
Proceedings DISC 2006
, vol.4167
, pp. 151-163
-
-
Lamport, L.1
-
14
-
-
84858787930
-
Experience with processes and monitors in mesa
-
B. W. Lampson and D. D. Redell. Experience with processes and monitors in mesa. In Proceedings SOSP, pages 43-44, 1979.
-
(1979)
Proceedings SOSP
, pp. 43-44
-
-
Lampson, B.W.1
Redell, D.D.2
-
15
-
-
0004215089
-
-
Morgan Kaufmann Publishers, San Fransisco, CA
-
N. Lynch. Distributed Algorithms. Morgan Kaufmann Publishers, San Fransisco, CA, 1996.
-
(1996)
Distributed Algorithms
-
-
Lynch, N.1
-
18
-
-
0000366742
-
Myths about the mutual exclusion problem
-
G. Peterson. Myths about the mutual exclusion problem. Inf. Process. Lett., 12(3):115-116, 1981.
-
(1981)
Inf. Process. Lett.
, vol.12
, Issue.3
, pp. 115-116
-
-
Peterson, G.1
-
21
-
-
13444302326
-
The free lunch is over - A fundamental turn toward concurrency in software
-
H. Sutter. The free lunch is over - a fundamental turn toward concurrency in software. Dr. Dobb's Journal, 30(3), 2005.
-
(2005)
Dr. Dobb's Journal
, vol.30
, Issue.3
-
-
Sutter, H.1
|