Search results for "liveness"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
8	Gérard Berthelot, Hanifa Boucheneb	Occurrence Graphs for Interval Timed Coloured Nets.	Application and Theory of Petri Nets	1994	DBLP DOI BibTeX RDF	interval timed coloured Petri nets, occurrence graph
8	Andy Evans	Specifying & Verifying Concurrent Systems Using Z.	FME	1994	DBLP DOI BibTeX RDF
8	Antti Valmari	On-the-Fly Verification with Stubborn Sets.	CAV	1993	DBLP DOI BibTeX RDF
8	Ching-Tsun Chou	Predicates, Temporal Logic, and Simulations.	HUG	1993	DBLP DOI BibTeX RDF
8	Christophe Sibertin-Blanc	A Client-Server Protocol for the Composition of Petri Nets.	Application and Theory of Petri Nets	1993	DBLP DOI BibTeX RDF
8	Tiehua Cao, Arthur C. Sanderson	Variable Reasoning and Analysis about Uncertainty with Fuzzy Petri Nets.	Application and Theory of Petri Nets	1993	DBLP DOI BibTeX RDF
8	Naima Brown, Dominique Méry	A Proof Environment for Concurrent Programs.	FME	1993	DBLP DOI BibTeX RDF	formal specifications, concurrency, program verification, Automated theorem proving, B, Unity
8	Marcello M. Bonsangue, Joost N. Kok	Isomorphisms between Predicates and State Transformers.	MFCS	1993	DBLP DOI BibTeX RDF
8	Kurt Jensen	An Introduction to the Theoretical Aspects of Coloured Petri Nets.	REX School/Symposium	1993	DBLP DOI BibTeX RDF	Petri Nets, Coloured Petri Nets, High-level Petri Nets
8	Nancy A. Lynch	Simulation Techniques for Proving Properties of Real-Time Systems.	REX School/Symposium	1993	DBLP DOI BibTeX RDF	timing-based system, untimed system, invariant assertion, progress function, execution correspondence, Simulation, real-time system, lower bound, invariant, mutual exclusion, upper bound, clock synchronization, leader election, time bound
8	Cheng Wu, Gregor von Bochmann, Ming Yu Yao	Fairness of N-party Synchronization and Its Implementation in a Distributed Environment.	WDAG	1993	DBLP DOI BibTeX RDF
8	Luis M. Alonso	Using State Variables for the Specification and Verfication of TCSP Processes.	PARLE	1993	DBLP DOI BibTeX RDF
8	Julian C. Bradfield	A Proof Assistant for Symbolic Model-Checking.	CAV	1992	DBLP DOI BibTeX RDF
8	Paola Alimonti, Esteban Feuerstein	Petri Nets, Hypergraphs and Conflicts (Preliminary Version).	WG	1992	DBLP DOI BibTeX RDF
8	Jörg Schepers	Invariance Properties in Distributed Systems.	CONPAR	1992	DBLP DOI BibTeX RDF
8	Sylvie Damy, Guy-René Perrin	A Refinement of Communicating Processes.	PARLE	1992	DBLP DOI BibTeX RDF
8	Alain Finkel	The Minimal Coverability Graph for Petri Nets.	Applications and Theory of Petri Nets	1991	DBLP DOI BibTeX RDF	Karp-Miller graph, minimal coverability graph, effective computation of the minimal coverability graph, verification of protocols, Petri nets, decidability
8	Ahmed Bouajjani, Jean-Claude Fernandez, Susanne Graf, Carlos Rodriguez, Joseph Sifakis	Safety for Branching Time Semantics.	ICALP	1991	DBLP DOI BibTeX RDF
8	Nils Klarlund	Liminf Progress Measures.	MFPS	1991	DBLP DOI BibTeX RDF
8	Sukumar Ghosh	Stabilizing Petri nets.	SPDP	1991	DBLP DOI BibTeX RDF
8	Jörg Desel, Javier Esparza	Reachability in Reversible Free Choice Systems.	STACS	1991	DBLP DOI BibTeX RDF
8	R. Govindarajan, Sheng Yu 0001	Data Flow Implementation of Generalized Guarded Commands.	PARLE (1)	1991	DBLP DOI BibTeX RDF
8	John G. Thistle, Walter Murray Wonham	Control of omega-Automata, Church's Problem, and the Emptiness Problem for Tree omega-Automata.	CSL	1991	DBLP DOI BibTeX RDF
8	Che-Fn Yu, Virgil D. Gligor	A Specification and Verification Method for Preventing Denial of Service.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	failure absence, integrity violations, user agreements, simultaneity conditions, denial-of-service prevention, formal specification, concurrent programs, security of data, specification method, verification method
8	David K. Probst, Hon Fung Li	Using Partial-Order Semantics to Avoid the State Explosion Problem in Asynchronous Systems.	CAV	1990	DBLP DOI BibTeX RDF	delay-insensitive system, branching point, recurrence structure, behavior machine, behavior state, model checking, state explosion, partial-order semantics
8	Ryszard Janicki, Maciej Koutny	Using Optimal Simulations to Reduce Reachability Graphs.	CAV	1990	DBLP DOI BibTeX RDF
8	Christian Dimitrovici, Udo Hummert, Laure Petrucci	Semantics, composition and net properties of algebraic high-level nets.	Applications and Theory of Petri Nets	1990	DBLP DOI BibTeX RDF	coloured nets, net invariants and properties, algebraic net schemes and high-level nets, morphisms of algebraic high-level nets, normed scheme semantics, net properties of high-level nets, morphisms
8	Julian C. Bradfield	Proving temporal properties of Petri Nets.	Applications and Theory of Petri Nets	1990	DBLP DOI BibTeX RDF	model-checking, Petri nets, temporal logic, tableau systems
8	Rocco De Nicola, Frits W. Vaandrager	Action versus State based Logics for Transition Systems.	Semantics of Systems of Concurrent Processes	1990	DBLP DOI BibTeX RDF
8	Peter Grønning, Thomas Qvist Nielsen, Hans Henrik Løvengreen	Stepwise Development of a Distributed Load Balancing Algorithms.	WDAG	1990	DBLP DOI BibTeX RDF	Load balancing, formal methods, transputer, distributed data structures
8	Yulin Feng, Junbo Liu	A Temporal Approach to Algebraic Specifications.	CONCUR	1990	DBLP DOI BibTeX RDF
8	Jerry R. Burch, Edmund M. Clarke, Kenneth L. McMillan, David L. Dill	Sequential Circuit Verification Using Symbolic Model Checking.	DAC	1990	DBLP DOI BibTeX RDF
8	A. Udaya Shankar	Verified Data Transfer Protocols with Variable Flow Control.	ACM Trans. Comput. Syst.	1989	DBLP DOI BibTeX RDF
8	Hassan Mountassir	To Correct Communicating Finite State Machines.	ACM Conference on Computer Science	1989	DBLP DOI BibTeX RDF
8	Javier Esparza, Manuel Silva Suárez	Circuits, handles, bridges and nets.	Applications and Theory of Petri Nets	1989	DBLP DOI BibTeX RDF	Free Choice nets, Synthesis, Structure Theory
8	Antti Valmari	Stubborn sets for reduced state space generation.	Applications and Theory of Petri Nets	1989	DBLP DOI BibTeX RDF	analysis of behaviour of nets, system verification
8	Bernhard Steffen	Characteristic Formulae.	ICALP	1989	DBLP DOI BibTeX RDF
8	Ernst-Rüdiger Olderog	Correctness of Concurrent Processes.	MFCS	1989	DBLP DOI BibTeX RDF
8	Martín Abadi, Leslie Lamport	Composing Specifications.	REX Workshop	1989	DBLP DOI BibTeX RDF
8	Bengt Jonsson 0001	On Decomposing and Refining Specifications of Distributed Systems.	REX Workshop	1989	DBLP DOI BibTeX RDF	Fair Transition System, Distributed Systems, Verification, Specification, Fairness, Refinement, Completeness, Compositionality
8	Jerry R. Burch	Combining CTL, Trace Theory and Timing Models.	Automatic Verification Methods for Finite State Systems	1989	DBLP DOI BibTeX RDF
8	Kim Guldstrand Larsen	Proof System for Hennessy-Milner Logic with Recursion.	CAAP	1988	DBLP DOI BibTeX RDF
8	Peter Schäfer, Philippe Schnoebelen	Specification of a Pipelined Event Driven Simulator using FP2.	PARLE (1)	1987	DBLP DOI BibTeX RDF
8	Krzysztof R. Apt	Correctness Proofs of Distributed Termination Algorithms.	ACM Trans. Program. Lang. Syst.	1986	DBLP DOI BibTeX RDF	CSP
8	David W. Wall	Global register allocation at link time.	SIGPLAN Symposium on Compiler Construction	1986	DBLP DOI BibTeX RDF
8	David W. Wall	Global register allocation at link time (with retrospective)	Best of PLDI	1986	DBLP DOI BibTeX RDF
8	Ajoy Kumar Datta, Sukumar Ghosh	Modular Synthesis of Deadlock-Free Control Structures.	FSTTCS	1986	DBLP DOI BibTeX RDF	regular nets, Petri nets, synthesis, deadlock
8	Flemming Nielson	Program Transformations in a Denotational Setting.	ACM Trans. Program. Lang. Syst.	1985	DBLP DOI BibTeX RDF
8	Gérard Berthelot	Checking properties of nets using transformation.	Applications and Theory in Petri Nets	1985	DBLP DOI BibTeX RDF
8	Van Nguyen, David Gries, Susan S. Owicki	A Model and Temporal Proof System for Networks of Processes.	POPL	1985	DBLP DOI BibTeX RDF
8	Wolfgang Jürgensen, Son T. Vuong	Formal specification and validation of ISO transport protocol components, using petri nets.	Comput. Commun. Rev.	1984	DBLP DOI BibTeX RDF
8	Hans-Dieter Burkhard	An Investigation of Controls for Concurrent Systems by Abstract Control Languages.	MFCS	1984	DBLP DOI BibTeX RDF
8	Krzysztof R. Apt, Ernst-Rüdiger Olderog	Transformations Realizing Fairness Assumptions for Parallel Programs.	STACS	1984	DBLP DOI BibTeX RDF
8	Howard Barringer, Ruurd Kuiper 0001	Hierarchical Development of Cncurrent Systems in a Temporal Logic Framework.	Seminar on Concurrency	1984	DBLP DOI BibTeX RDF
8	Krzysztof R. Apt, Carole Delporte	An Axiomatization of the Intermittent Assertion Method Using Temporal Logic (Extended Abstract).	ICALP	1983	DBLP DOI BibTeX RDF
8	Peter E. Lauer, Roy H. Campbell	A Description of Path Expressions by Petri Nets.	POPL	1975	DBLP DOI BibTeX RDF