-
1
-
-
0021291978
-
Process algebra for synchronous communication
-
J.A. Bergstra and J.W. Klop. Process algebra for synchronous communication. Information and Control, 60(1/3):109-137, 1984.
-
(1984)
Information and Control
, vol.60
, Issue.1-3
, pp. 109-137
-
-
Bergstra, J.A.1
Klop, J.W.2
-
2
-
-
0003801132
-
Invariants in process algebra with data
-
Springer
-
M.A. Bezem and J.F. Groote. Invariants in process algebra with data. In Proc. CONCUR'94, LNCS 836, pp. 401-416. Springer, 1994.
-
(1994)
Proc. CONCUR'94, LNCS 836
, pp. 401-416
-
-
Bezem, M.A.1
Groote, J.F.2
-
3
-
-
0028752723
-
A correctness proof of a one bit sliding window protocol in μCRL
-
M.A. Bezem and J.F. Groote. A correctness proof of a one bit sliding window protocol in μCRL. The Computer Journal, 37(4):289-307, 1994.
-
(1994)
The Computer Journal
, vol.37
, Issue.4
, pp. 289-307
-
-
Bezem, M.A.1
Groote, J.F.2
-
4
-
-
26844462065
-
Sliding window protocols
-
S. Mauw and G. Veltink, eds, Cambridge Tracts in Theoretical Computer Science 36, Cambridge University Press
-
J.J. Brunekreef. Sliding window protocols. In S. Mauw and G. Veltink, eds, Algebraic Specification of Protocols. Cambridge Tracts in Theoretical Computer Science 36, pp. 71-112. Cambridge University Press, 1993.
-
(1993)
Algebraic Specification of Protocols.
, pp. 71-112
-
-
Brunekreef, J.J.1
-
5
-
-
26844530172
-
Using higher order logic for modelling real-time protocols
-
LNCS 494, Springer
-
R. Cardell-Oliver. Using higher order logic for modelling real-time protocols. In Proc. TAPSOFT'91, LNCS 494, pp. 259-282. Springer, 1991.
-
(1991)
Proc. TAPSOFT'91
, pp. 259-282
-
-
Cardell-Oliver, R.1
-
7
-
-
35248882970
-
Verification and improvement of the sliding window protocol
-
Springer
-
D. Chkliaev, J. Hooman, and E. de Vink. Verification and improvement of the sliding window protocol. In TACAS'03, LNCS 2619, pp. 113-127. Springer, 2003.
-
(2003)
TACAS'03, LNCS 2619
, pp. 113-127
-
-
Chkliaev, D.1
Hooman, J.2
De Vink, E.3
-
8
-
-
84862475264
-
Verifying a sliding window protocol in μCRL
-
CWI
-
W.J. Fokkink, J.F. Groote, J. Pang, B. Badban, and J.C. van de Pol. Verifying a sliding window protocol in μCRL. Technical Report SEN-R0308, CWI, 2003.
-
(2003)
Technical Report SEN-R0308
-
-
Fokkink, W.J.1
Groote, J.F.2
Pang, J.3
Badban, B.4
Van De Pol, J.C.5
-
9
-
-
35248887525
-
Cones and foci for protocol verification revisited
-
LNCS 2620, Springer
-
W.J. Fokkink and J. Pang. Cones and foci for protocol verification revisited. In Proc. FOSSACS'03, LNCS 2620, pp. 267-281. Springer, 2003.
-
(2003)
Proc. FOSSACS'03
, pp. 267-281
-
-
Fokkink, W.J.1
Pang, J.2
-
10
-
-
0030143334
-
Branching time and abstraction in bisimulation semantics
-
R.J. van Glabbeek and W.P. Weijland. Branching time and abstraction in bisimulation semantics. Journal of the ACM, 43(3):555-600, 1996.
-
(1996)
Journal of the ACM
, vol.43
, Issue.3
, pp. 555-600
-
-
Van Glabbeek, R.J.1
Weijland, W.P.2
-
11
-
-
0033132887
-
Symbolic protocol verification with Queue BDDs
-
P. Godefroid and D.E. Long. Symbolic protocol verification with Queue BDDs. Formal Methods and System Design, 14(3):257-271, 1999.
-
(1999)
Formal Methods and System Design
, vol.14
, Issue.3
, pp. 257-271
-
-
Godefroid, P.1
Long, D.E.2
-
14
-
-
0039335517
-
Correctness proof of the bakery protocol in μCRL
-
Workshops in Computing, Springer
-
J.F. Groote and H.P. Korver. Correctness proof of the bakery protocol in μCRL. In Proc. ACP'94, Workshops in Computing, pp. 63-86. Springer, 1995.
-
(1995)
Proc. ACP'94
, pp. 63-86
-
-
Groote, J.F.1
Korver, H.P.2
-
15
-
-
0000840940
-
Proof theory for μCRL: A language for processes with data
-
Workshops in Computing, Springer
-
J.F. Groote and A. Ponse. Proof theory for μCRL: A language for processes with data. In Proc. SoSL'93, Workshops in Computing, pp. 232-251. Springer, 1994.
-
(1994)
Proc. SoSL'93
, pp. 232-251
-
-
Groote, J.F.1
Ponse, A.2
-
16
-
-
0001879305
-
Syntax and semantics of μCRL
-
Workshops in Computing, Springer
-
J.F. Groote and A. Ponse. Syntax and semantics of μCRL. In Proc. ACP'94, Workshops in Computing, pp. 26-62. Springer, 1995.
-
(1995)
Proc. ACP'94
, pp. 26-62
-
-
Groote, J.F.1
Ponse, A.2
-
17
-
-
0002576839
-
Linearization of parallel pCRL
-
J.F. Groote, A. Ponse, and Y.S. Usenko. Linearization of parallel pCRL. Journal of Logic and Algebraic Programming, 48(1/2):39-72, 2001.
-
(2001)
Journal of Logic and Algebraic Programming
, vol.48
, Issue.1-2
, pp. 39-72
-
-
Groote, J.F.1
Ponse, A.2
Usenko, Y.S.3
-
19
-
-
0034751257
-
Focus points and convergent process operators: A proof strategy for protocol verification
-
J.F. Groote and J. Springintveld. Focus points and convergent process operators: A proof strategy for protocol verification. Journal of Logic and Algebraic Programming, 49(1/2):31-60, 2001.
-
(2001)
Journal of Logic and Algebraic Programming
, vol.49
, Issue.1-2
, pp. 31-60
-
-
Groote, J.F.1
Springintveld, J.2
-
24
-
-
84863921735
-
Transitive closures of regular relations for verifying infinite-state systems
-
LNCS 1785, Springer
-
B. Jonsson and M. Nilsson. Transitive closures of regular relations for verifying infinite-state systems. In TACAS'00, LNCS 1785, pp. 220-234. Springer, 2000
-
(2000)
TACAS'00
, pp. 220-234
-
-
Jonsson, B.1
Nilsson, M.2
-
25
-
-
84947431733
-
Using compositional preorders in the verification of sliding window protocol
-
LNCS 1254, Springer
-
R. Kaivola. Using compositional preorders in the verification of sliding window protocol. In Proc. CAV'97, LNCS 1254, pp. 48-59. Springer, 1997.
-
(1997)
Proc. CAV'97
, pp. 48-59
-
-
Kaivola, R.1
-
26
-
-
0019691568
-
Verification of link-level protocols
-
D.E. Knuth. Verification of link-level protocols. BIT, 21:21-36, 1981.
-
(1981)
BIT
, vol.21
, pp. 21-36
-
-
Knuth, D.E.1
-
27
-
-
84947257677
-
Model checking LTL properties of high-level Petri nets with fairness constraints
-
LNCS 2075, Springer
-
T. Latvala. Model checking LTL properties of high-level Petri nets with fairness constraints. In Proc. APN'01, LNCS 2075, pp. 242-262. Springer, 2001.
-
(2001)
Proc. APN'01
, pp. 242-262
-
-
Latvala, T.1
-
29
-
-
0004460381
-
Specification and verification of a sliding window protocol in Lotos
-
IFIP Transactions, North-Holland
-
E. Madelaine and D. Vergamini. Specification and verification of a sliding window protocol in Lotos. In Proc. FORTE'91, IFIP Transactions, pp. 495-510. North-Holland, 1991.
-
(1991)
Proc. FORTE'91
, pp. 495-510
-
-
Madelaine, E.1
Vergamini, D.2
-
30
-
-
0025447904
-
A process specification formalism
-
S. Mauw and G.J. Veltink. A process specification formalism. Fundamenta Informaticae, 13(2):85-139, 1990.
-
(1990)
Fundamenta Informaticae
, vol.13
, Issue.2
, pp. 85-139
-
-
Mauw, S.1
Veltink, G.J.2
-
31
-
-
26844466102
-
Specification of a sliding window protocol within the framework of process algebra
-
University of Amsterdam
-
A. Middeldorp. Specification of a sliding window protocol within the framework of process algebra. Report FVI 86-19, University of Amsterdam, 1986.
-
(1986)
Report FVI 86-19
-
-
Middeldorp, A.1
-
32
-
-
2842593479
-
An incremental specification of the sliding-window protocol
-
K. Paliwoda and J.W. Sanders. An incremental specification of the sliding-window protocol. Distributed Computing, 5:83-94, 1991.
-
(1991)
Distributed Computing
, vol.5
, pp. 83-94
-
-
Paliwoda, K.1
Sanders, J.W.2
-
33
-
-
84945924340
-
Concurrency and automata on infinite sequences
-
LNCS 104, Springer
-
D.M.R. Park. Concurrency and automata on infinite sequences. In Proc. 5th GI Conference, LNCS 104, pp. 167-183. Springer, 1981.
-
(1981)
Proc. 5th GI Conference
, pp. 167-183
-
-
Park, D.M.R.1
-
34
-
-
0040571903
-
Verification in Xesar of the sliding window protocol
-
North-Holland
-
J.L. Richier, C. Rodriguez, J. Sifakis, and J. Voiron. Verification in Xesar of the sliding window protocol. In Proc. PSTV'87, pp. 235-248. North-Holland, 1987.
-
(1987)
Proc. PSTV'87
, pp. 235-248
-
-
Richier, J.L.1
Rodriguez, C.2
Sifakis, J.3
Voiron, J.4
-
35
-
-
84888229570
-
Proof-checking protocols using bisimulations
-
LNCS 1664, Springer
-
C. R̈ckl and J. Esparza. Proof-checking protocols using bisimulations. In Proc. CONCUR'99, LNCS 1664, pp. 525-540. Springer, 1999.
-
(1999)
Proc. CONCUR'99
, pp. 525-540
-
-
R̈ckl, C.1
Esparza, J.2
-
36
-
-
0141949100
-
Verifying a sliding-window protocol using PVS
-
Conference Proceedings 197, Kluwer
-
V. Rusu. Verifying a sliding-window protocol using PVS. In Proc. FORTE'01, Conference Proceedings 197, pp. 251-268. Kluwer, 2001.
-
(2001)
Proc. FORTE'01
, pp. 251-268
-
-
Rusu, V.1
-
38
-
-
22544438582
-
Verification of a sliding window protocol using IOA and MONA
-
Kluwer
-
M.A. Smith and N. Klarlund. Verification of a sliding window protocol using IOA and MONA. In Proc. FORTE/PSTV'OO, pp. 19-34. Kluwer, 2000.
-
(2000)
Proc. FORTE/PSTV'OO
, pp. 19-34
-
-
Smith, M.A.1
Klarlund, N.2
-
40
-
-
84948149926
-
Divide, abstract, and modelcheck
-
LNCS 1680, Springer
-
K. Stahl, K. Baukus, Y. Lakhnech, and M. Steffen. Divide, abstract, and modelcheck. In Proc. SPIN'99, LNCS 1680, pp. 57-76. Springer, 1999.
-
(1999)
Proc. SPIN'99
, pp. 57-76
-
-
Stahl, K.1
Baukus, K.2
Lakhnech, Y.3
Steffen, M.4
-
41
-
-
0003339638
-
A data transfer protocol
-
N.V. Stenning. A data transfer protocol. Computer Networks, 1(2):99-110, 1976.
-
(1976)
Computer Networks
, vol.1
, Issue.2
, pp. 99-110
-
-
Stenning, N.V.1
|