Search results for "CONCUR"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Glynn Winskel	A Presheaf Semantics of Value-Passing Processes.	CONCUR	1996	DBLP DOI BibTeX RDF
1	David Janin, Igor Walukiewicz	On the Expressive Completeness of the Propositional mu-Calculus with Respect to Monadic Second Order Logic.	CONCUR	1996	DBLP DOI BibTeX RDF
1	Michaela Huhn, Peter Niebert	Towards Automata for Branching Time and Partial Order.	CONCUR	1996	DBLP DOI BibTeX RDF
1	Sjouke Mauw, Michel A. Reniers	Refinement in Interworkings.	CONCUR	1996	DBLP DOI BibTeX RDF
1	Huimin Lin	Symbolic Transition Graph with Assignment.	CONCUR	1996	DBLP DOI BibTeX RDF
1	Björn Victor, Joachim Parrow	Constraints as Processes.	CONCUR	1996	DBLP DOI BibTeX RDF
1	Eike Best, Catuscia Palamidessi	Linear Constraint Systems as High-Level Nets.	CONCUR	1996	DBLP DOI BibTeX RDF
1	Rance Cleaveland, Gerald Lüttgen, V. Natarajan 0001	A Process Algebra with Distributed Priorities.	CONCUR	1996	DBLP DOI BibTeX RDF
1	Carolina Lavatelli	Algebraic Interpretation of Lambda Calculus with Resources.	CONCUR	1996	DBLP DOI BibTeX RDF
1	Thomas T. Hildebrandt, Vladimiro Sassone	Comparing Transition Systems with Independence and Asynchronous Transition Systems.	CONCUR	1996	DBLP DOI BibTeX RDF
1	Marco Bernardo 0001, Roberto Gorrieri	Extended Markovian Process Algebra.	CONCUR	1996	DBLP DOI BibTeX RDF
1	Roberto Segala	Testing Probabilistic Automata.	CONCUR	1996	DBLP DOI BibTeX RDF
1	Bent Thomsen, Lone Leth Thomsen, Tsung-Min Kuo	A Facile Tutorial.	CONCUR	1996	DBLP DOI BibTeX RDF
1	Alessandro Fantechi, Stefania Gnesi, Diego Latella	Towards Automatic Temporal Logic Verification of Value Passing Process Algebra Using Abstract Interpretation.	CONCUR	1996	DBLP DOI BibTeX RDF
1	Nadia Busi, Roberto Gorrieri	A Petri Net Semantics for pi-Calculus.	CONCUR	1995	DBLP DOI BibTeX RDF
1	Mogens Nielsen, Lutz Priese, Vladimiro Sassone	Characterizing Behavioural Congruences for Petri Nets.	CONCUR	1995	DBLP DOI BibTeX RDF
1	P. S. Thiagarajan	A Trace Consistent Subset of PTL.	CONCUR	1995	DBLP DOI BibTeX RDF
1	Marcello M. Bonsangue, Joost N. Kok, Erik P. de Vink	Metric Predicate Transformers: Towards a Notion of Refinement for Concurrency.	CONCUR	1995	DBLP DOI BibTeX RDF
1	Walter Vogler	Faster Asynchronous Systems.	CONCUR	1995	DBLP DOI BibTeX RDF
1	Ugo Montanari, Marco Pistore	Checking Bisimilarity for Finitary pi-Calculus.	CONCUR	1995	DBLP DOI BibTeX RDF
1	Mads Dam	Compositional Proof Systems for Model Checking Infinite State Processes.	CONCUR	1995	DBLP DOI BibTeX RDF
1	Gian-Luigi Ferrari 0002, Ugo Montanari, Paola Quaglia	The Weak Late pi-Calculus Semantics as Observation Equivalence.	CONCUR	1995	DBLP DOI BibTeX RDF
1	Arend Rensink	A Complete Theory of Deterministic Event Structures.	CONCUR	1995	DBLP DOI BibTeX RDF
1	David Harel	Will I be Preety, Will I be Rich? Some Thoughts on Theory vs. Practice in Systems Engineering.	CONCUR	1995	DBLP DOI BibTeX RDF
1	Jan Friso Groote, M. P. A. Sellink	Confluence for Process Verification.	CONCUR	1995	DBLP DOI BibTeX RDF
1	E. Allen Emerson	Efficient Automation of Temporal Reasoning.	CONCUR	1995	DBLP DOI BibTeX RDF
1	Xinxin Liu 0008, David Walker 0008	A Polymorphic Type System for the Polyadic pi-calculus.	CONCUR	1995	DBLP DOI BibTeX RDF
1	Insup Lee 0001, Scott A. Smolka (eds.)	CONCUR '95: Concurrency Theory, 6th International Conference, Philadelphia, PA, USA, August 21-24, 1995, Proceedings	CONCUR	1995	DBLP DOI BibTeX RDF
1	Matthew Hennessy, Julian Rathke	Bisimulations for a Calculus of Broadcasting Systems.	CONCUR	1995	DBLP DOI BibTeX RDF
1	Roope Kaivola	Axiomatising Linear Time Mu-calculus.	CONCUR	1995	DBLP DOI BibTeX RDF
1	François Laroussinie, Kim Guldstrand Larsen	Compositional Model Checking of Real Time Systems.	CONCUR	1995	DBLP DOI BibTeX RDF
1	Gerard J. Holzmann	Tutorial: Proving Properties of Concurrent System with SPIN.	CONCUR	1995	DBLP DOI BibTeX RDF
1	Parosh Aziz Abdulla, Mats Kindahl	Decidability of Simulation and Bisimulation between Lossy Channel Systems and Finite State Systems (Extended Abstract).	CONCUR	1995	DBLP DOI BibTeX RDF
1	Edmund M. Clarke, Orna Grumberg, Somesh Jha	Veryfying Parameterized Networks using Abstraction and Regular Languages.	CONCUR	1995	DBLP DOI BibTeX RDF
1	Claudio Hermida, John Power	Fibrational Control Structures.	CONCUR	1995	DBLP DOI BibTeX RDF
1	Petr Jancar, Faron Moller	Checking Regular Properties of Petri Nets.	CONCUR	1995	DBLP DOI BibTeX RDF
1	Irek Ulidowski	Axiomatisations of Weak Equivalences for De Simone Languages.	CONCUR	1995	DBLP DOI BibTeX RDF
1	Frits W. Vaandrager	Verification of a Distributed Summation Algorithm.	CONCUR	1995	DBLP DOI BibTeX RDF
1	Manuel Núñez 0001, David de Frutos-Escrig, Luis Fernando Llana Díaz	Acceptance Trees for Probabilistic Processes.	CONCUR	1995	DBLP DOI BibTeX RDF
1	Farn Wang	Reachability Analysis at Procedure Level through Timing Coincidence.	CONCUR	1995	DBLP DOI BibTeX RDF
1	Bernhard Steffen, Andreas Claßen, Marion Klein, Jens Knoop, Tiziana Margaria	The Fixpoint-Analysis Machine.	CONCUR	1995	DBLP DOI BibTeX RDF
1	Ahmed Bouajjani, Yassine Lakhnech	Temporal Logic + Timed Automata: Expressiveness and Decidability.	CONCUR	1995	DBLP DOI BibTeX RDF
1	Huimin Lin	Unique Fixpoint Induction for Mobile Processes.	CONCUR	1995	DBLP DOI BibTeX RDF
1	Ed Brinksma, Arend Rensink, Walter Vogler	Fair Testing.	CONCUR	1995	DBLP DOI BibTeX RDF
1	Pedro R. D'Argenio, Sjouke Mauw	Delayed choice for process algebra with abstraction.	CONCUR	1995	DBLP DOI BibTeX RDF
1	Jeremy W. Bryans, Jim Davies, Steve A. Schneider	Towards a denotational semantics for ET-LOTOS.	CONCUR	1995	DBLP DOI BibTeX RDF
1	Anna Philippou, David Walker 0008	On Sharing and Determinacy in Concurrent Systems.	CONCUR	1995	DBLP DOI BibTeX RDF
1	Michael Siegel	A Refinement Theory that Supports both 'Decrease of Nondeterminism' and 'Increase of Parallelism'.	CONCUR	1995	DBLP DOI BibTeX RDF
1	Dan Craigen	Formal Methods Technology Transfer: Impediments and Innovation (Abstract).	CONCUR	1995	DBLP DOI BibTeX RDF
1	Colin Stirling	Lokal Model Checking Games.	CONCUR	1995	DBLP DOI BibTeX RDF
1	Karlis Cerans	CTR: A Calculus of Timed Refinement.	CONCUR	1995	DBLP DOI BibTeX RDF
1	Flavio Corradini, Rocco De Nicola, Anna Labella	Fully Abstract Models for Nondeterministic Regular Expressions.	CONCUR	1995	DBLP DOI BibTeX RDF
1	Simon Brock, Gerald Ostheimer	Process Semantics of Graph Reduction.	CONCUR	1995	DBLP DOI BibTeX RDF
1	Roberto Segala	A Compositional Trace-Based Semantics for Probabilistic Automata.	CONCUR	1995	DBLP DOI BibTeX RDF
1	Orna Kupferman, Moshe Y. Vardi	On the Complexity of Branching Modular Model Checking (Extended Abstract).	CONCUR	1995	DBLP DOI BibTeX RDF
1	Rajeev Alur, Costas Courcoubetis, Thomas A. Henzinger	The Observational Power of Clocks.	CONCUR	1994	DBLP DOI BibTeX RDF
1	Qiwen Xu, Antonio Cau, Pierre Collette	On Unifying Assumption-Commitment Style Proof Rules for Concurrency.	CONCUR	1994	DBLP DOI BibTeX RDF
1	Józef Winkowski	Algebras of Processes of Timed Petri Nets.	CONCUR	1994	DBLP DOI BibTeX RDF
1	J. Robin B. Cockett, David A. Spooner	SProc Categorically.	CONCUR	1994	DBLP DOI BibTeX RDF
1	David Walker 0008	On Bisimulation in the pi-calculus.	CONCUR	1994	DBLP DOI BibTeX RDF
1	Michele Boreale, Rocco De Nicola	A Symbolic Semantics for the pi-calculus (Extended Abstract).	CONCUR	1994	DBLP DOI BibTeX RDF
1	Jens U. Skakkebæk	Liveness and Fairness in Duration Calculus.	CONCUR	1994	DBLP DOI BibTeX RDF
1	Sue-Hwey Wu, Scott A. Smolka, Eugene W. Stark	Composition and Behaviors of Probabilistic I/O Automata.	CONCUR	1994	DBLP DOI BibTeX RDF
1	Yoram Hirshfeld, Faron Moller	A Fast Algorithm for Deciding Bisimilarity of Normed Context-Free Processes.	CONCUR	1994	DBLP DOI BibTeX RDF
1	Xinxin Liu	Characterizing Bisimulation Congruence in the pi-Calculus (Extended Abstract).	CONCUR	1994	DBLP DOI BibTeX RDF
1	Jos C. M. Baeten, Jan A. Bergstra	Process Algebra with Partial Choice.	CONCUR	1994	DBLP DOI BibTeX RDF
1	Maciej Koutny, Javier Esparza, Eike Best	Operational Semantics for the Petri Box Calculus.	CONCUR	1994	DBLP DOI BibTeX RDF	Petri nets, process algebra, structured operational semantics, step sequences
1	Costas Courcoubetis	From Timed Graphs to Hybrid Automata (Abstract).	CONCUR	1994	DBLP DOI BibTeX RDF
1	Andrew C. Uselton, Scott A. Smolka	A Compositional Semantics for Statecharts using Labeled Transition Systems.	CONCUR	1994	DBLP DOI BibTeX RDF
1	Mogens Nielsen, Christian Clausen	Bisimulation for Models in Concurrency.	CONCUR	1994	DBLP DOI BibTeX RDF
1	Rance Cleaveland, James Riely	Testing-Based Abstractions for Value-Passing Systems.	CONCUR	1994	DBLP DOI BibTeX RDF
1	Mahesh Girkar, Robert Moll	New Results on the Analysis of Concurrent Systems with an Infinite Number of Processes.	CONCUR	1994	DBLP DOI BibTeX RDF
1	Hardi Hungar	Local Model Checking for Parallel Compositions of Context-Free Processes.	CONCUR	1994	DBLP DOI BibTeX RDF
1	Arend Rensink, Heike Wehrheim	Weak Sequential Composition in Process Algebras.	CONCUR	1994	DBLP DOI BibTeX RDF
1	David L. Dill	Hierarchical Models of Synchronous Circuits (Abstract).	CONCUR	1994	DBLP DOI BibTeX RDF
1	Luca Aceto	Deriving Complete Inference Systems for a Class of GSOS Languages Generation Regular Behaviours.	CONCUR	1994	DBLP DOI BibTeX RDF
1	Jean-Claude Fernandez, Joseph Sifakis, Robert de Simone	Model-Based Verification Methods and Tools (Abstract).	CONCUR	1994	DBLP DOI BibTeX RDF
1	Paris C. Kanellakis, Dimitrios Michailidis, Alexander A. Shvartsman	Efficient Parallelism vs Reliable Distribution: A Trade-off for Concurrent Computations.	CONCUR	1994	DBLP DOI BibTeX RDF
1	Pietro Di Gianantonio, Furio Honsell, Silvia Liani, Gordon D. Plotkin	Countable Non-Determinism and Uncountable Limits.	CONCUR	1994	DBLP DOI BibTeX RDF
1	Roberto Segala, Nancy A. Lynch	Probabilistic Simulations for Probabilistic Processes.	CONCUR	1994	DBLP DOI BibTeX RDF
1	Ralph-Johan Back, Joakim von Wright	Trace Refinement of Action Systems.	CONCUR	1994	DBLP DOI BibTeX RDF
1	Prakash Panangaden	The Logical Structure of Concurrent Constraint Programming Languages (Abstract).	CONCUR	1994	DBLP DOI BibTeX RDF
1	Shoji Yuen, Rance Cleaveland, Zeynep Dayar, Scott A. Smolka	Fully Abstract Characterizations of Testing Preorders for Probabilistic Processes.	CONCUR	1994	DBLP DOI BibTeX RDF
1	Marc Bezem, Jan Friso Groote	Invariants in Process Algebra with Data.	CONCUR	1994	DBLP DOI BibTeX RDF
1	Chris Verhoef	A Congruence Theorem for Structured Operational Semantics with Predicates and Negative Premises.	CONCUR	1994	DBLP DOI BibTeX RDF
1	Ahmed Bouajjani, Rachid Echahed, Riadh Robbana	Verification of Nonregular Temporal Properties for Context-Free Processes.	CONCUR	1994	DBLP DOI BibTeX RDF
1	Jean-Yves Girard 0001	Geometry of Interaction (Abstract).	CONCUR	1994	DBLP DOI BibTeX RDF
1	Sjouke Mauw, Hans Mulder	Regularity of BPA-Systems is Decidable.	CONCUR	1994	DBLP DOI BibTeX RDF
1	Bengt Jonsson 0001, Joachim Parrow (eds.)	CONCUR '94, Concurrency Theory, 5th International Conference, Uppsala, Sweden, August 22-25, 1994, Proceedings	CONCUR	1994	DBLP DOI BibTeX RDF
1	Olaf Burkart, Bernhard Steffen	Pushdown Processes: Parallel Composition and Model Checking.	CONCUR	1994	DBLP DOI BibTeX RDF
1	Jeremy Gunawardena	A Dynamic Approach to Timed Behaviour.	CONCUR	1994	DBLP DOI BibTeX RDF
1	Nils Klarlund	The Limit View of Infinite Computations.	CONCUR	1994	DBLP DOI BibTeX RDF
1	Astrid Kiehn	On the Decidability of Non-Interleaving Process Equivalences.	CONCUR	1994	DBLP DOI BibTeX RDF
1	P. W. Hoogers, H. C. M. Kleijn, P. S. Thiagarajan	Local Event Structures and Petri Nets.	CONCUR	1993	DBLP DOI BibTeX RDF
1	Maarten M. Fokkinga, Mannes Poel, Job Zwiers	Modular Completeness for Communication Closed Layers.	CONCUR	1993	DBLP DOI BibTeX RDF
1	Patrice Brémond-Grégoire, Insup Lee 0001, Richard Gerber 0001	ACSR: An Algebra of Communicating Shared Resources with Dense Time and Priorities.	CONCUR	1993	DBLP DOI BibTeX RDF
1	Christian Lengauer	Loop Parallelization in the Polytope Model.	CONCUR	1993	DBLP DOI BibTeX RDF
1	Mads Dam	Model Checking Mobile Processes.	CONCUR	1993	DBLP DOI BibTeX RDF
1	Uno Holmer	Interpreting Broadcast Communication in SCCS.	CONCUR	1993	DBLP DOI BibTeX RDF
1	Glenn Bruns	A Practical Technique for Process Abstraction.	CONCUR	1993	DBLP DOI BibTeX RDF

Publications at "CONCUR"( http://dblp.L3S.de/Venues/CONCUR )