S.P. Luttik  Home/Search
Context
Related
Links: ACM | cwi.nl/ftp/CWIreports/...SENR9912.ps.Z 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: cwi.nl/static/publicat...SEN1999 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Theories that are designed to reason about processes and the information they exchange usually also include a construction to quantify over this information. We mention the input prefix mechanism of, e.g., the #-calculus and the operation P for alternative quantification over data of CRL. These constructions are implemented as binders, and hence imply a relatively complicated notion of substitution that takes the binding of these operations into account. As a consequence, the defining axioms ... (Update)
Active bibliography (related documents): More All
0.5: Provability with Finitely Many Variables - Hirsch, Hodkinson, Maddux (2000) (Correct)
0.0: The Fusion Calculus: Expressiveness and Symmetry in Mobile.. - Parrow, Victor (1998) (Correct)
0.0: Nomadic π-Calculi: Expressing and Verifying Communication.. - Unyapoth (2001) (Correct)
Similar documents based on text: More All
0.6: Complete Axiomatisations of Weak-, Delay- and η-Bisimulation.. - Luttik (1999) (Correct)
0.5: Time-stamped Actions in pCRL Algebras - van der Zwaag (Correct)
0.5: A Complete Axiomatisation of Branching Bisimulation for.. - Groote, Luttik (1998) (Correct)
BibTeX entry: (Update)
@incollection{ luttik99cylindric,
author = "S. P. Luttik",
title = "Cylindric process algebras with conditionals give substitutionless p{CRL}",
booktitle = "894",
month = "31",
publisher = "Centrum voor Wiskunde en Informatica (CWI)",
address = "ISSN 1386-369X",
pages = "16",
year = "1999",
url = "citeseer.ist.psu.edu/luttik99cylindric.html" }
Citations (may not include all citations):297 A calculus of mobile processes (context) - Milner, Parrow et al. - 1992
181 Mathematical Logic (context) - Shoenfield - 1967
64 Calculi for synchrony and asynchrony (context) - Milner - 1983 DBLP
61 The fusion calculus: Expressiveness and symmetry in mobile p.. - Parrow, Victor - 1998 DBLP
2 A simplified formalization of predicate logic with identity (context) - Tarski - 1965
1 Substitutionless predicate logic with identity (context) - Monk - 1965
Documents on the same site (http://www.cwi.nl/static/publications/reports/SEN-1999.html): More
boxenv.sty: A LATEX style file for formatting Box expressions - de Jonge (1999) (Correct)
Exploiting Symmetry in Protocol Testing - Romijn, Springintveld (1999) (Correct)
A Coordination Language for Mobile Components - Arbab, Bonsangue, de Boer (2000) (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