Mads Dam  Home/Search
Context Related
| sics.se/pub/SICSr...R9401SE.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: sics.se/libabstracts (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We introduce a temporal logic for the polyadic ß-calculus based on fixed point extensions of Hennessy-Milner logic. Features are added to account for parametrisation, generation, and passing of names, including the use, following Milner, of dependent sum and product to account for (unlocalised) input and output, and explicit parametrisation on names using lambda-abstraction and application. The latter provides a single name binding mechanism supporting all parametrisation needed. A proof ... (Update)
Cited by: More
Relating π-calculus to Object-Z - Taguchi, Dong, al. (2004) (Correct)
Universita degli Studi di Pisa - Facolta Di Scienze (Correct)
A Modal Logic for Mobile Agents - De Nicola, Loreti (Correct)
Similar documents (at the sentence level):
66.5%: Model Checking Mobile Processes - Dam (1993) (Correct)
6.6%: On the Decidability of Process Equivalences for the pi-calculus - Dam (1994) (Correct)
Active bibliography (related documents): More All
0.1: Generating Data Flow Analysis Algorithms from Modal Specifications - Steffen (1993) (Correct)
0.1: Design, Analysis and Reasoning about Tools: Abstracts from.. - Nielson, (Ed.) (1993) (Correct)
0.0: HORNSAT, Model Checking, Verification and Games - Shukla, III, Rosenkrantz (1995) (Correct)
Similar documents based on text: More All
0.2: Computation And Parametrisation Of Invariant Curves And Tori - Moore (1995) (Correct)
0.2: Geometric Methods For Computing Invariant Manifolds - Moore (1996) (Correct)
0.1: Parametrisation of Coloured Petri Nets - Christensen, Mortensen (1997) (Correct)
Related documents from co-citation: More All
14: Information and Computation (context) - Milner, Parrow et al. - 1992
10: Local model checking in the modal mu-calculus (context) - Stirling, Walker - 1991
9: A Calculus of Mobile Processes (context) - Milner, Parrow et al. - 1989
BibTeX entry: (Update)
M. Dam. Model checking mobile processes. In E. Best, editor, CONCUR'93, 4 th Intl. Conference on Concurrency Theory, volume 715 of Lecture Notes in Computer Science, pages 22--36. Springer-Verlag, 1993. http://citeseer.ist.psu.edu/article/dam93model.html More
@inproceedings{ dam93model,
author = "Mads Dam",
title = "Model Checking Mobile Processes",
booktitle = "International Conference on Concurrency Theory",
pages = "22-36",
year = "1993",
url = "citeseer.ist.psu.edu/article/dam93model.html" }
Citations (may not include all citations):20 A semantics based verification tool for finite state systems (context) - Cleaveland, Parrow et al. - 1989
19 Compositional checking of satisfaction (context) - Andersen, Winskel - 1991
13 Computing behavioural relations (context) - Cleaveland, Steffen
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.sics.se/libabstracts.html): More
A Host Interface to the DTM Network - Ahlgren, Pink, Lindgren.. (1992) (Correct)
View-Invariant Regions and Mobile Robot Self-Localization - Simsarian, Olson.. (1996) (Correct)
A Finitary Version of the Calculus of Partial Inductive Definitions - Eriksson (1992) (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