Mads Dam  Home/Search
Context Related
Links: ACM DBLP | sics.se/pub/fdt/mfd/mcmpiac.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: di.fc.ul.pt/~vv/mobilebib (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 system ... (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):
70.0%: Model Checking Mobile Processes - Dam (1993) (Correct)
7.6%: On the Decidability of Process Equivalences for the pi-calculus - Dam (1994) (Correct)
Active bibliography (related documents): More All
0.5: "On-The-Fly Instantiation" of Value-Passing Processes - Lin (Correct)
0.1: Design, Analysis and Reasoning about Tools: Abstracts from.. - Nielson, (Ed.) (1993) (Correct)
0.0: Verification of Temporal and Real-Time Properties of Statecharts - Levi (1997) (Correct)
Similar documents based on text: More All
0.2: On the Secure Implementation of Security Protocols - Giambiagi, Dam (2003) (Correct)
0.2: The Mobility Workbench User's Guide - Polyadic version 3.122 - Victor (1995) (Correct)
0.2: SPC 01-4025 Mobile Language Study - Dam, Giambiagi (2003) (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/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/dam93model.html" }
Citations (may not include all citations):19 Compositional checking of satisfaction (context) - Andersen, Winskel - 1991
2 A semantics-based verification tool for the verification of .. (context) - Cleaveland, Parrow et al. - 1993
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.di.fc.ul.pt/~vv/mobilebib.html): More
An Algebraic Verification of a Mobile Network - Orava (1991) (Correct)
Calculi for Interaction - Robin Milner (1996) (Correct)
Action Structures and the Pi Calculus - Milner (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