J. F. Groote, M. A. Reniers  Home/Search
Context Related
| win.tue.nl/~jfg/article...CSR0005.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: win.tue.nl/~jfg/publications1 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This chapter addresses the question how to verify distributed and communicating systems in an e#ective way from an explicit process algebraic standpoint. This means that all calculations are based on the axioms and principles of the process algebras. (Update)
Cited by: More
Analysing the BKE-security protocol with μCRL - Groote, Mauw, Serebrenik (Correct)
Parameterised Boolean Equation Systems - Groote, Willemse (2004) (Correct)
Verifying a Sliding Window Protocol in μCRL - Fokkink, Groote, Pang, Badban, .. (2004) (Correct)
Similar documents (at the sentence level):
53.5%: Algebraic Process Verification - Groote, Reniers (2000) (Correct)
5.3%: The Syntax and Semantics of timed muCRL - Groote (1997) (Correct)
Active bibliography (related documents): More All
0.5: The Parallel Composition of Uniform Processes with Data - Groote, van Wamel (2001) (Correct)
0.5: Specification of Components in a Proposition Solver - Lisser, van Wamel (1997) (Correct)
0.5: Verification of Parallel Systems via Decomposition - Jan Friso Groote (1992) (Correct)
Similar documents based on text: More All
0.1: Confluence for Process Verification - Groote, Sellink (1996) (Correct)
0.1: Resolution and Binary Decision Diagrams Cannot Simulate Each.. - Groote, Zantema (2000) (Correct)
0.1: Equational Binary Decision Diagrams - Groote, Pol (2000) (Correct)
Related documents from co-citation: More All
5: The syntax and semantics of CRL - Groote, Ponse
5: CRL: a toolset for analysing algebraic specifications - Blom, Fokkink et al. - 2001
4: Branching-Time and Abstraction in Bisimulation Semantics (context) - van Glabbeek, Weijland - 1989
BibTeX entry: (Update)
J.F. Groote and M.A. Reniers. Algebraic Process Verification. In J.A. Bergstra, A. Ponse, and S.A. Smolka, editors, Handbook of Process Algebra. Elsevier Science, Amsterdam, The Netherlands. To appear. http://citeseer.ist.psu.edu/705629.html More
@misc{ groote-algebraic,
author = "J. Groote and M. Reniers",
title = "Algebraic Process Verification",
text = "J.F. Groote and M.A. Reniers. Algebraic Process Verification. In J.A. Bergstra,
A. Ponse, and S.A. Smolka, editors, Handbook of Process Algebra. Elsevier
Science, Amsterdam, The Netherlands. To appear.",
url = "citeseer.ist.psu.edu/705629.html" }
Citations (may not include all citations):718 Distributed Algorithms (context) - Lynch - 1996
716 Parallel Program Design: A Foundation (context) - Chandy, Misra - 1989
322 volume 92 of Lecture Notes in Computer Science (context) - Milner, of et al. - 1980
218 Process algebra for synchronous communication (context) - Bergstra, Klop - 1984
202 International Series in Computer Science (context) - Milner, Concurrency - 1989
177 Fundamentals of Algebraic Specification: Equations and Initi.. (context) - Ehrig, Mahr - 1985
145 Isabelle: the next 700 theorem provers (context) - Paulson - 1990
143 The Coq proof assistant user's guide (context) - Dowek, Felty et al. - 1993
125 Event structures (context) - Winskel - 1987
108 An improvement in formal verification - Holzmann, Peled - 1994
108 International Series in Computer Science (context) - Hoare, Processes - 1985
105 EATCS Monographs on Theoretical Computer Science (context) - Jensen, Nets et al. - 1992
89 volume 18 of Cambridge Tracts in Theoretical Computer Scienc.. (context) - Baeten, Weijland - 1990
89 The lambda calculus (context) - Barendregt - 1981
87 volume 4 of EATCS Monographs in Theoretical Computer Science (context) - Reisig, An - 1985
87 The PVS proof checker: A reference manual (context) - Shankar, Owre et al. - 1993
86 Basic notions of trace theory (context) - Mazurkiewicz - 1988
82 volume 828 of Lecture Notes in Computer Science (context) - Paulson, Theorem - 1994
81 The linear time - branching time spectrum (context) - van Glabbeek - 1990
67 The syntax and semantics of CRL - Groote, Ponse - 1995
60 A process specification formalism (context) - Mauw, Veltink - 1990
54 A bounded retransmission protocol for large data packets - Groote, Pol - 1996
38 Proof theory for CRL: A language for processes with data (context) - Groote, Ponse - 1994
29 A correctness proof of a one-bit sliding window protocol in .. - Bezem, Groote - 1994
27 IEEE Standard for a high performance serial bus (context) - Society - 1996
26 A computer-checked verification of Milner's scheduler - Korver, Springintveld - 1994
25 Theoretical Computer Science (context) - Philips - 1987
23 Verification of a leader election protocol -- formal methods.. - Devillers, Gri et al. - 1997
23 Focus points and convergent process operators (context) - Groote, Springintveld - 1995
22 The linear time - branching time spectrum II (context) - van Glabbeek - 1993
22 Description and formal specification of the link layer of P - Luttik - 1997
21 Grid protocols based on synchronous communication - Bergstra, Hillebrand et al. - 1997
19 Technical Report SEN-R (context) - Groote, semantics et al. - 1997
18 Specification and Description Language (context) - Recommendation - 1994
17 ALDEBARAN Development Package): A protocol validation and ve.. (context) - Fernandez, Garavel et al. - 1996
15 Formal verification of a leader election protocol - Fredlund, Groote et al. - 1997
14 The tree identify protocol of IEEE 1394 in CRL (context) - Shankland, van der Zwaag - 1998
14 Control Flow Semantics (context) - de Bakker, de Vink - 1996
12 Checking verifications of protocols and distributed systems .. - Groote, Monin et al. - 1998
12 Correctness proof of the bakery protocol in CRL (context) - Groote, Korver - 1994
11 Formalizing process algebraic verifications in the calculus .. - Bezem, Bol et al. - 1997
11 Confluence for process verification - Groote, Sellink - 1996
8 A computer checked algebraic verification of a distributed s.. (context) - Groote, Monin et al. - 1997
8 Validation of the link layer protocol of the IEEE-1394 seria.. - Sighireanu, Mateescu - 1997
5 A mathematical model of computing agents (context) - Milner - 1973
3 A process algebra based verification of a production system - Kleijn, Reniers et al. - 1998
3 Towards a mathematical theory of processes (context) - Bekic - 1971
2 cient verification of determinate processes (context) - Qin - 1991
2 Verification techniques for elementary data types and retran.. - van Wamel - 1995
2 similar parallel processes - Groote, on - 1997
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.win.tue.nl/~jfg/publications1.html): More
Operational semantics for Petri Net components - Groote, Voorhoeve (Correct)
The Syntax and Semantics of μCRL - Groote, Ponse (Correct)
Solving Disjunctive/Conjunctive Boolean Equation Systems.. - Groote, Keinänen (2003) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC