M. Hennessy and R. Milner. Algebraic laws for nondeterminism and concurrency. Journal of the ACM, 32(1):177--161, 1985. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
A Temporal Logic for Input Output Symbolic Transition Systems - Marc Aiguier Place (Correct)
No context found.
M. Hennessy and R. Milner. Algebraic laws for nondeterminism and concurrency. Journal of the ACM, 32(1):177--161, 1985.
Math. Struct. in Comp. Science (2004), vol. 14, pp.. - Cambridge University Press (Correct)
No context found.
Hennessy, M. C. B. and Milner, R. (1985) Algebraic laws for non-determinism and concurrency. JACM 32 137--161.
Abstraction-based Model Checking - Using Modal Transition (Correct)
No context found.
M. Hennessy and R. Milner. Algebraic laws for nondeterminism and concurrency. Journal of the ACM, 32(1):137-161, January 1985.
Modal Transition Systems: A Foundation for - Three-Valued Program Analysis (Correct)
No context found.
M. C. B. Hennessy and Robin Milner. Algebraic laws for non-determinism and concurrency. JACM, 32:137-161, 1985.
Equivalence Notions and Model Minimization in - Markov Decision Processes (Correct)
No context found.
Hennessy, M. and Milner, R. 1985. Algebraic laws for nondeterminism and concurrency. In Journal of the Association for Computing Machinery 137.
Deriving Parameter Conditions - For Periodic Timed (2001) (Correct)
No context found.
M. Hennessy and R. Milner, "Algebraic laws for nondeterminism and concurrency," J. ACM, vol. 32, pp. 137--161, 1985.
Compositional Reasoning for Probabilistic Finite-State.. - Deng, Palamidessi, Pang (Correct)
No context found.
M. Hennessy and R. Milner. Algebraic laws for nondeterminism and concurrency. Journal of ACM, 32:137--161, 1985.
A General Approach to Multi-Agent Minimal Knowledge with.. - van der Hoek, Thijsse (2001) (2 citations) (Correct)
No context found.
M. Hennessy & R.Milner, `Algebraic laws for Nondeterminism and Concurrency', Journal of the ACM 32, pp.137-161, 1985.
A Distributed Kripke Semantics - Chadha, al. (2004) (1 citation) (Correct)
No context found.
M. Hennessy and R. Milner. Algebraic laws for nondeterminism and concurrency. Journal of the ACM, 32(1):137--161, 1985.
A Modal Logic for Mobile Agents - De Nicola, Loreti (Correct)
No context found.
M. Hennessy and R. Milner. Algebraic laws for nondeterminism and concurrency. Journal of the ACM, 32(1):137--161, Jan. 1985.
A Hybrid Intuitionistic Logic: Semantics and Decidability - Chadha, Macedonio, Sassone (2005) (Correct)
No context found.
M. Hennessy and R. Milner. Algebraic laws for nondeterminism and concurrency. Journal of the ACM, 32(1):137--161, 1985.
Parallel Refinement Mechanisms for Real-Time Systems - Kolano, Kemmerer, Mandrioli (2000) (Correct)
No context found.
Hennessy, A. and R. Milner. "Algebraic Laws for Nondeterminism and Concurrency". Jour. of the ACM, Jan. 1985, vol. 32, (no. 1): 137-61.
Modal Logic with Bounded Quantification over Worlds - Van Eijk, De Boer, Van Der .. (2001) (Correct)
No context found.
M. Hennessy and R. Milner. Algebraic laws for nondeterminism and concurrency. Journal of Association of Computer Machinery, 32, 137--162, 1985.
An Observationally Complete Program Logic for Imperative.. - Honda, Yoshida, Berger (Correct)
No context found.
M. Hennessy and R. Milner. Algebraic Laws for NonDeterminism and Concurrency. JACM, 32(1), 1985.
Software Verification Research Centre - School Of Information (1995) (4 citations) (Correct)
No context found.
M. Hennessy and R. Milner. Algebraic laws for nondeterminism and concurrency. Journal of ACM, 32:137--162, 1985.
A Partial Order Approach to Branching Time Logic Model.. - Gerth, Kuiper, Peled.. (1997) (18 citations) (Correct)
No context found.
M. Hennessy, R. Milner, Algebraic laws for nondeterminism and concurrency, Journal of the ACM, 32, 1985, 23--52.
A Modal Logic for KLAIM - De Nicola, Loreti (2000) (1 citation) (Correct)
No context found.
Matthew Hennessy and Robin Milner. Algebraic laws for nondeterminism and concurrency. Journal of the ACM, 32(1):137-161, January 1985.
A Logical Viewpoint on Process-Algebraic Quotients - Anton Ku Cera (Correct)
No context found.
M. Hennessy and R. Milner. Algebraic laws for nondeterminism and concurrency. Journal of the Association for Computing Machinery, 32(1):137-161, 1985.
A Modal Logic for KLAIM - De Nicola, Loreti (2000) (1 citation) (Correct)
No context found.
Matthew Hennessy and Robin Milner. Algebraic laws for nondeterminism and concurrency. Journal of the ACM, 32(1):137-161, January 1985.
A Logical Viewpoint on Process-Algebraic Quotients - Kucera, Esparza (1999) (2 citations) (Correct)
No context found.
M. Hennessy and R. Milner. Algebraic laws for nondeterminism and concurrency. Journal of the ACM, 32(1):137--161, January 1985.
Executable Structural Operational Semantics in Maude - Verdejo, Martí-Oliet (2003) (2 citations) (Correct)
No context found.
M. Hennessy and R. Milner. Algebraic laws for nondeterminism and concurrency. Journal of the ACM, 32(1):137--161, Jan. 1985.
Separability, Expressiveness, and Decidability in the.. - Hirschkoff, Lozes.. (2002) (Correct)
No context found.
M. Hennessy and R. Milner. Algebraic laws for nondeterminism and concurrency. Journal of the ACM, 32:137-161, 1985.
Separability, Expressiveness, and Decidability in the.. - Hirschkoff, Lozes.. (Correct)
No context found.
M. Hennessy and R. Milner. Algebraic laws for nondeterminism and concurrency. Journal of the ACM, 32:137-161, 1985.
From Process Logic to Program Logic - Honda (2004) (Correct)
No context found.
Hennessy, M. and Milner, R. Algebraic Laws for Nondeterminism and Concurrency. Journal of ACM, 32:1, pp.137-161, 1985.
Operational semantics for Petri Net components - Groote, Voorhoeve (Correct)
No context found.
M. Hennesy and R. Milner. Algebraic Laws for Nondeterminism and Concurrency. Journal of the ACM, 32(1):137--161, 1985.
First 50 documents Next 50
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