-
1
-
-
0025623486
-
Model-checking for real-time systems
-
Alur, R., Courcoubetis C., and Dill D. (1990), Model-checking for real-time systems, in "Proc. 5th IEEE Int. Symp. on Logic in Computer Science, Philadelphia," pp. 414-425.
-
(1990)
Proc. 5th IEEE Int. Symp. on Logic in Computer Science, Philadelphia
, pp. 414-425
-
-
Alur, R.1
Courcoubetis, C.2
Dill, D.3
-
3
-
-
49349119822
-
Finite state description of communicating protocols
-
Bochman, G. V. (1978), Finite state description of communicating protocols, Comput. Networks 2, 361-371.
-
(1978)
Comput. Networks
, vol.2
, pp. 361-371
-
-
Bochman, G.V.1
-
4
-
-
85029621995
-
Model checking for context-free processes
-
"Proc. CONCUR '92, Theories of Concurrency: Unification and Extension" (W. R. Cleaveland, Ed.), Springer-Verlag, Berlin/New York
-
Burkart, O., and Steffen, B. (1992), Model checking for context-free processes, in "Proc. CONCUR '92, Theories of Concurrency: Unification and Extension" (W. R. Cleaveland, Ed.), Lecture Notes in Computer Science, Vol. 630, pp. 123-137. Springer-Verlag, Berlin/New York.
-
(1992)
Lecture Notes in Computer Science
, vol.630
, pp. 123-137
-
-
Burkart, O.1
Steffen, B.2
-
5
-
-
0001531470
-
A note on reliable full-duplex transmissions over half duplex lines
-
Bartlett, K., Scantlebury, R., and Wilkinson, P. (1969), A note on reliable full-duplex transmissions over half duplex lines, Comm. ACM 2(5), 260-261.
-
(1969)
Comm. ACM
, vol.2
, Issue.5
, pp. 260-261
-
-
Bartlett, K.1
Scantlebury, R.2
Wilkinson, P.3
-
6
-
-
0020735797
-
On communicating finite-state machines
-
Brand, D., and Zafiropulo, P. (1983), On communicating finite-state machines, J. Assoc. Comput. Mach. 2(5), 323-342.
-
(1983)
J. Assoc. Comput. Mach.
, vol.2
, Issue.5
, pp. 323-342
-
-
Brand, D.1
Zafiropulo, P.2
-
7
-
-
0022706656
-
Automatic verification of finite-state concurrent systems using temporal logic specification
-
Clarke, E. M., Emerson, E. A., and Sistla, A. P. (1986), Automatic verification of finite-state concurrent systems using temporal logic specification, ACM Trans. Programming Languages Systems 8(2), 244-263.
-
(1986)
ACM Trans. Programming Languages Systems
, vol.8
, Issue.2
, pp. 244-263
-
-
Clarke, E.M.1
Emerson, E.A.2
Sistla, A.P.3
-
9
-
-
85021225681
-
Avoiding the state explosion problem in temporal logic model checking algorithms
-
Clarke, E. M., and Grumberg, O. (1987), Avoiding the state explosion problem in temporal logic model checking algorithms, in "Proc. 6th ACM Symp. on Principles of Distributed Computing, Vancouver," pp. 294-303.
-
(1987)
Proc. 6th ACM Symp. on Principles of Distributed Computing, Vancouver
, pp. 294-303
-
-
Clarke, E.M.1
Grumberg, O.2
-
10
-
-
84974529145
-
Bisimulation equivalence is decidable for basic parallel processes
-
Christensen, S., Hirshfeld, Y., and Moller, F. (1993), Bisimulation equivalence is decidable for basic parallel processes, in "Proc. CONCUR '93, Theories of Concurrency: Unification and Extension," pp. 143-157.
-
(1993)
Proc. CONCUR '93, Theories of Concurrency: Unification and Extension
, pp. 143-157
-
-
Christensen, S.1
Hirshfeld, Y.2
Moller, F.3
-
11
-
-
85029659488
-
Bisimulation equivalence is decidable for all context-free processes
-
W. R. Cleaveland, Ed.
-
Christensen, S., Hüttel, H., and Stirling, C. (1992), Bisimulation equivalence is decidable for all context-free processes, in "Proc. CONCUR '92, Theories of Concurrency: Unification and Extension" (W. R. Cleaveland, Ed.), pp. 138-147.
-
(1992)
Proc. CONCUR '92, Theories of Concurrency: Unification and Extension
, pp. 138-147
-
-
Christensen, S.1
Hüttel, H.2
Stirling, C.3
-
12
-
-
0043162586
-
On constructing obstruction sets of words
-
Courcelle, B. (1991), On constructing obstruction sets of words. Bull. EATCS (44), 178-185.
-
(1991)
Bull. EATCS
, Issue.44
, pp. 178-185
-
-
Courcelle, B.1
-
13
-
-
0004455291
-
A new class of analyzable CFSMs with unbounded FIFO channels
-
IFIP WG 6.1, North-Holland, Amsterdam
-
Finkel, A. (1988), A new class of analyzable CFSMs with unbounded FIFO channels, in "Protocol Specification, Testing, and Verification VIII, Atlantic City," pp. 1-12; IFIP WG 6.1, North-Holland, Amsterdam.
-
(1988)
Protocol Specification, Testing, and Verification VIII, Atlantic City
, pp. 1-12
-
-
Finkel, A.1
-
14
-
-
0000689483
-
Decidability of the termination problem for completely specified protocols
-
Finkel, A. (1994), Decidability of the termination problem for completely specified protocols, Distrib. Comput. 7(3).
-
(1994)
Distrib. Comput.
, vol.7
, Issue.3
-
-
Finkel, A.1
-
15
-
-
0013326078
-
On deadlock detection in systems of communicating finite state machines
-
Gouda, M. G., Gurari, E. M., Lai, T.-H., and Rosier, L. E. (1987), On deadlock detection in systems of communicating finite state machines, Comput. Artificial Intell. 6(3), 209-228.
-
(1987)
Comput. Artificial Intell.
, vol.6
, Issue.3
, pp. 209-228
-
-
Gouda, M.G.1
Gurari, E.M.2
Lai, T.-H.3
Rosier, L.E.4
-
16
-
-
0026884434
-
Reasoning about systems with many processes
-
German, S. M., and Sistla, A. P. (1992), Reasoning about systems with many processes, J. Assoc. Comput. Mach. 39(3), 675-735.
-
(1992)
J. Assoc. Comput. Mach.
, vol.39
, Issue.3
, pp. 675-735
-
-
German, S.M.1
Sistla, A.P.2
-
17
-
-
0027577622
-
Using partial orders for the efficient verification of deadlock freedom and safety properties
-
Godefroid, P., and Wolper, P. (1993), Using partial orders for the efficient verification of deadlock freedom and safety properties, Formal Methods System Design 2(2), 149-164.
-
(1993)
Formal Methods System Design
, vol.2
, Issue.2
, pp. 149-164
-
-
Godefroid, P.1
Wolper, P.2
-
18
-
-
84963086911
-
Ordering by divisibility in abstract algebras
-
Higman, G. (1952), Ordering by divisibility in abstract algebras, Proc. London Math. Soc. 2, 326-336.
-
(1952)
Proc. London Math. Soc.
, vol.2
, pp. 326-336
-
-
Higman, G.1
-
20
-
-
0346903877
-
Data Communications-HDLC Procedures-Elements of Procedures
-
International Standards Organization, Geneva
-
ISO (1979), Data Communications-HDLC Procedures-Elements of Procedures, Technical Report ISO 4335, International Standards Organization, Geneva.
-
(1979)
Technical Report ISO 4335
-
-
-
21
-
-
0025458835
-
Decidability of a temporal logic problem for Petri nets
-
Jančar, P. (1990), Decidability of a temporal logic problem for Petri nets, Theoret. Comput. Sci. 74, 71-93.
-
(1990)
Theoret. Comput. Sci.
, vol.74
, pp. 71-93
-
-
Jančar, P.1
-
22
-
-
0001128385
-
Deciding bisimulation equivalences for a class of non-finite-state programs
-
Jonsson, B., and Parrow, J. (1993), Deciding bisimulation equivalences for a class of non-finite-state programs, Inform. and Comput. 107, 272-302.
-
(1993)
Inform. and Comput.
, vol.107
, pp. 272-302
-
-
Jonsson, B.1
Parrow, J.2
-
23
-
-
0013212257
-
Implementation of a Reachability Algorithm for Systems with Unreliable Channels
-
Department of Computer Systems, Uppsala University
-
Kindahl, Mats (1993), "Implementation of a Reachability Algorithm for Systems with Unreliable Channels," Technical Report 44, Department of Computer Systems, Uppsala University.
-
(1993)
Technical Report
, vol.44
-
-
Kindahl, M.1
-
24
-
-
0000223972
-
Parallel program schemata
-
Karp, R. M., and Miller, R. R. (1969), Parallel program schemata, J. Comput. System Sci. 3, 147-195.
-
(1969)
J. Comput. System Sci.
, vol.3
, pp. 147-195
-
-
Karp, R.M.1
Miller, R.R.2
-
25
-
-
0003324157
-
Combinatorics on Words
-
Addison-Wesley, Reading, MA
-
Lothaire, M. (1983), "Combinatorics on Words," Encyclopedia of Mathematics and its Applications, Vol. 17, Addison-Wesley, Reading, MA.
-
(1983)
Encyclopedia of Mathematics and Its Applications
, vol.17
-
-
Lothaire, M.1
-
27
-
-
0346744131
-
Protocol description and analysis based on a state transition model with channel expressions
-
Pachl, J. K. (1987), Protocol description and analysis based on a state transition model with channel expressions, in "Protocol Specification, Testing, and Verification VII."
-
(1987)
Protocol Specification, Testing, and Verification VII
-
-
Pachl, J.K.1
-
28
-
-
84976803100
-
Data flow analysis of communicating finite state machines
-
Peng, W., and Purushothaman, S. (1991), Data flow analysis of communicating finite state machines, ACM Trans. Programming Languages Systems 13(3), 399-442.
-
(1991)
ACM Trans. Programming Languages Systems
, vol.13
, Issue.3
, pp. 399-442
-
-
Peng, W.1
Purushothaman, S.2
-
29
-
-
38249043881
-
Boundedness, empty channel detection and synchronization for communicating finite automata
-
Rosier, L. E., and Yen, H.-C. (1986), Boundedness, empty channel detection and synchronization for communicating finite automata, Theoret. Comput. Sci. 44, 69-105.
-
(1986)
Theoret. Comput. Sci.
, vol.44
, pp. 69-105
-
-
Rosier, L.E.1
Yen, H.-C.2
-
30
-
-
85029793632
-
Network grammars, communication behaviours and automatic verification
-
"Proc. Workshop on Computer Aided Verification" (Sifakis, Ed.), Springer-Verlag, Berlin/New York
-
Shtadler, Z., and Grumberg, O. (1990), Network grammars, communication behaviours and automatic verification, in "Proc. Workshop on Computer Aided Verification" (Sifakis, Ed.), Lecture Notes in Computer Science, Vol. 407, pp. 151-165, Springer-Verlag, Berlin/New York.
-
(1990)
Lecture Notes in Computer Science
, vol.407
, pp. 151-165
-
-
Shtadler, Z.1
Grumberg, O.2
-
31
-
-
84947432046
-
Automatic temporal verification of buffer systems
-
"Proc. Workshop on Computer Aided Verification" (Larsen and Skou, Eds.), Springer-Verlag, Berlin/New York
-
Sistla, A. P., and Zuck, L. D. (1991), Automatic temporal verification of buffer systems, in "Proc. Workshop on Computer Aided Verification" (Larsen and Skou, Eds.), Lecture Notes in Computer Science, Vol. 575, Springer-Verlag, Berlin/New York.
-
(1991)
Lecture Notes in Computer Science
, vol.575
-
-
Sistla, A.P.1
Zuck, L.D.2
-
33
-
-
84947796708
-
Decidability of bisimulation equivalence for parallel timer processes
-
"Proc. Workshop on Computer Aided Verification," Springer-Verlag, Berlin/New York
-
Čerāns, K. (1992), Decidability of bisimulation equivalence for parallel timer processes, in "Proc. Workshop on Computer Aided Verification," Lecture Notes in Computer Science, Vol. 663, pp. 302-315, Springer-Verlag, Berlin/New York.
-
(1992)
Lecture Notes in Computer Science
, vol.663
, pp. 302-315
-
-
Čerans, K.1
-
35
-
-
85051051500
-
Expressing interesting properties of programs in propositional temporal logic
-
Wolper, Pierre (1986), Expressing interesting properties of programs in propositional temporal logic (extended abstract), in "Proc. 13th ACM Symp. on Principles of Programming Languages," pp. 184-193.
-
(1986)
Proc. 13th ACM Symp. on Principles of Programming Languages
, pp. 184-193
-
-
Wolper, P.1
-
36
-
-
84888697746
-
CCS + Time = an interleaving model for real time systems
-
"Proc. ICALP '91" (Leach Albert, Monien, and Rodriguez Artalejo, Eds.), Springer-Verlag, Berlin/New York
-
Yi, Wang (1991), CCS + Time = an interleaving model for real time systems, in "Proc. ICALP '91" (Leach Albert, Monien, and Rodriguez Artalejo, Eds.), Lecture Notes in Computer Science, Vol. 510, Springer-Verlag, Berlin/New York.
-
(1991)
Lecture Notes in Computer Science
, vol.510
-
-
Yi, W.1
|