W.P.R. Mitchell, D.P. Carlisle  Home/Search
Context Related
| cs.man.ac.uk/pub/TR/...UMCS9611.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: indiana.edu/pub/ucstri/index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper shows that many simulation equivalences over processes can be characterised by a single parameterised modal logic formula. For many equivalences oe there is a parameterised modal logic formula f(t) such that for every pair of processes P and Q, P oe Q if and only if P j= f(Q). For any specific P the formula f(P ) becomes a fix point formula of the normal modal logic K . Strong bisimulation equivalence was shown by Milner [16] to be characterised in this way. This paper shows that... (Update)
Context of citations to this paper: More
.... in time that is quadratic in their number of transitions [22] and can be characterized by a single parameterised modal logic formula [16]. However, as previously mentioned, no equational axiomatization for it has ever been proposed, even for the language BCCS. In this paper,...
Cited by: More
Nested Semantics over Finite Trees are Equationally Hard - Aceto, Fokkink, van.. (2003) (Correct)
2-Nested Simulation is not Finitely Equationally Axiomatizable - Aceto, al. (2000) (Correct)
Active bibliography (related documents): More All
0.5: Foundations of a Theory of Specification for Distributed Systems - Stark (1984) (Correct)
0.5: Chapter 1 Syllabus - Prerequisite Calculus Category (Correct)
0.3: Multi-Way FPGA Partitioning by Fully Exploiting Design Hierarchy - Fang, Wu (1997) (Correct)
Similar documents based on text: More All
0.9: Intra-Modular Structuring in Model-Oriented Specification.. - Bicarregui (1995) (Correct)
0.1: Domain Constraint Maintenance - Zhang, Barringer, Carlisle (1994) (Correct)
0.1: Soft-X-Ray Fluorescence Studies of Solids - Carlisle Blankenship And (Correct)
Related documents from co-citation: More All
3: Formal Verification of Parallel Programs (context) - Keller - 1976
3: Structured operational semantics and bisimulation as a congruence (context) - Groote, Vaandrager - 1992
3: Fixed point semantics (context) - Bergstra, Klop - 1982
BibTeX entry: (Update)
W. Mitchell and D. Carlisle, Modal observation equivalence of processes, Technical Report UMCS-96-1-1, Manchester University, Computer Science, 1996. http://citeseer.ist.psu.edu/mitchell96modal.html More
@article{ mitchell96modal,
author = "William P. R. Mitchell",
title = "Modal Logic and Equality for Process Algebra",
journal = "Journal of Logic and Computation",
volume = "6",
number = "1",
pages = "121-136",
year = "1996",
url = "citeseer.ist.psu.edu/mitchell96modal.html" }
Citations (may not include all citations):2732 Communicating Sequential Processes (context) - Hoare - 1985
1933 Communication and Concurrency (context) - Milner - 1989
502 Concurrency and automata on infinite sequences (context) - Park
357 Algebraic Laws for Nondeterminism and Concurrency (context) - Hennessey, Milner
297 A Calculus of Mobile Processes (context) - Milner, Parrow et al. - 1992
231 A theory of communicating sequential processes (context) - Brookes, Hoare et al.
203 An Introduction to Modal Logic (context) - Hughes, Cresswell - 1969
182 Structured operational semantics and bisimulation as a congr.. (context) - Groote, Vaandrager
95 The Linear Time - Branching Time Spectrum (context) - van Glabbeek
67 Linear and branching structures in the semantics and logics .. (context) - Pnueli
49 Model Checking Mobile Processes - Dam - 1993
22 Propositional Temporal Logic and Equivalences - Goltz, Kuiper et al.
20 A Modal Logic for Message Passing Processes (context) - Hennessey, Liu - 1993
19 The Linear Time - Branching Time Spectrum II (context) - van Glabbeek
9 Refusal Testing (context) - Phillips
4 Some equivalence notions for concurrent systems. An overview (context) - Pomello - 1985
3 Computer Science Dept (context) - Hennessey, for et al. - 1992
2 Possible Futures, acceptances, refusals, and communicating p.. (context) - Rounds, Brookes - 1982
2 Action Structures - Milner - 1992
1 Bisimulation can (context) - Bloom, Istrail et al. - 1988
1 Logics for Processes (context) - Walker - 1992
1 On observing nondeterminism and concurrency (context) - Hennessey, Milner - 1980
1 Ready Trace semantics for concrete algebra with the priority.. (context) - Baeten, Berstra et al. - 1987
1 Modal Logic and Equality for Process Algebra (context) - Mitchell - 1995
1 A modal characterisation of observational equivalence of fin.. (context) - Graf, Sifakis - 1986
Documents on the same site (http://www.cs.indiana.edu/pub/ucstri/index): More
Environment Modelling for Mobile Robots: Neural Learning for.. - van Dam (1998) (Correct)
Broadcasting in Butterfly and DeBruijn Networks - Klasing, Monien, Peine, Stöhr (1992) (Correct)
ILFA - A Project in Experimental Logic Computation - Dunker, Flögel, Büning.. (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