D.M.R. Park. Concurrency and automata on infinite sequences. In P. Deussen, editor, 5 th GI Conference, pages 167--183. LNCS 104, Springer-Verlag, 1981. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents Next 50
Process Algebra with Language Matching - Jos Van Wamel (Correct)
Bisimulation is two-way simulation - Bergstra And Gh (Correct)
The Algebra of - Finite State Processes (Correct)
The Algebra of - Finite State Processes (Correct)
Math. Struct. in Comp. Science (2004), vol. 14, pp.. - Cambridge University Press (Correct)
A Naïve Time Analysis and its Theory of Cost Equivalence - Sands (1995) (Correct)
From Sequential Programs to Multi-Tier Applications by.. - Neubauer, Thiemann (2005) (Correct)
Generating Test Cases for Infinite System Specifications - Stefan Heymer And (Correct)
Observational Congruences for Dynamically Reconfigurable .. - Bruni, Montanari.. (Correct)
Propositional Temporal Logics and - Equivalences Ursula Goltz (Correct)
Bigraphs for Petri nets - Milner (2004) (7 citations) (Correct)
A Logical Viewpoint on Process-Algebraic Quotients - Kucera, Esparza (1999) (2 citations) (Correct)
Transition systems, link graphs and Petri nets - Leifer, Milner (2004) (2 citations) (Correct)
On the Complexity of the linear-time μ-calculus for Petri Nets - Habermehl (Correct)
History Dependent Automata - Montanari, Pistore (2001) (3 citations) (Correct)
Verifying a Sliding Window Protocol in μCRL - Fokkink, Groote, Pang, Badban, .. (2004) (Correct)
The Concurrency Column - Aceto (Correct)
A Logical Framework For Reasoning About Logical Specifications - Tiu (2004) (2 citations) (Correct)
Congruence for SOS with Data - Mohammadreza Mousavi Michel (Correct)
Comparing Refinements for Failure and Bisimulation Semantics - Eshuis, Fokkinga (2001) (Correct)
Vopp: A verification tool for probabilistic processes - Martin (1993) (1 citation) (Correct)
Topo-distance: Measuring the Difference between Spatial Patterns - Aiello (2000) (Correct)
Model-Driven Software Verification - Holzmann, Joshi (2004) (Correct)
An Elementary Bisimulation Decision Procedure for Arbitrary.. - Burkart, Caucal (1994) (17 citations) (Correct)
Verifying Semantic Relations in SPIN - Hakan Erdogmus Institute (2 citations) (Correct)
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