Search results for "concurrency"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
21	Karsten Wolf	Does My Service Have Partners?.	Trans. Petri Nets Other Model. Concurr.	2009	DBLP DOI BibTeX RDF
21	Nick Russell, Arthur H. M. ter Hofstede	newYAWL: Towards Workflow 2.0.	Trans. Petri Nets Other Model. Concurr.	2009	DBLP DOI BibTeX RDF
21	Ekkart Kindler	Model-Based Software Engineering and Process-Aware Information Systems.	Trans. Petri Nets Other Model. Concurr.	2009	DBLP DOI BibTeX RDF	Model-based Software Engineering (MBSE), Process-aware Information Systems (PAIS), Model-driven Architecture (MDA), Process models, Business Process Modelling
21	Christian Stahl, Peter Massuthe, Jan Bretschneider	Deciding Substitutability of Services with Operating Guidelines.	Trans. Petri Nets Other Model. Concurr.	2009	DBLP DOI BibTeX RDF	Open nets, Service substitutability, Operating guidelines
21	Niels Lohmann, Eric Verbeek 0001, Remco M. Dijkman	Petri Net Transformations for Business Processes - A Survey.	Trans. Petri Nets Other Model. Concurr.	2009	DBLP DOI BibTeX RDF
21	Jan Mendling	Empirical Studies in Process Model Verification.	Trans. Petri Nets Other Model. Concurr.	2009	DBLP DOI BibTeX RDF
21	Jetty Kleijn, Alexandre Yakovlev (eds.)	Petri Nets and Other Models of Concurrency - ICATPN 2007, 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007, Proceedings	ICATPN	2007	DBLP DOI BibTeX RDF
21	David Harel, Yaki Setty, Sol Efroni, Naamah Swerdlin, Irun R. Cohen	Concurrency in Biological Modeling: Behavior, Execution and Visualization.	FBTC@CONCUR	2007	DBLP DOI BibTeX RDF
21	Hartmut Ehrig, Kathrin Hoffmann, Julia Padberg, Ulrike Prange, Claudia Ermel	Independence of Net Transformations and Token Firing in Reconfigurable Place/Transition Systems.	ICATPN	2007	DBLP DOI BibTeX RDF	integration of net theory and graph transformations, parallel and sequential independence of net transformations and token firing
21	Marc Boyer, Olivier H. Roux	Comparison of the Expressiveness of Arc, Place and Transition Time Petri Nets.	ICATPN	2007	DBLP DOI BibTeX RDF
21	Hsu-Chun Yen, Chien-Liang Chen	Computing Minimal Elements of Upward-Closed Sets for Petri Nets.	ICATPN	2007	DBLP DOI BibTeX RDF
21	Fernando Rosa-Velardo, David de Frutos-Escrig	Name Creation vs. Replication in Petri Net Systems.	ICATPN	2007	DBLP DOI BibTeX RDF
21	Victor Khomenko, Mark Schäfer	Combining Decomposition and Unfolding for STG Synthesis.	ICATPN	2007	DBLP DOI BibTeX RDF	Petri net, decomposition, Asynchronous circuit, unfolding, STG, state space explosion
21	Gabriel Juhás, Robert Lorenz 0001, Sebastian Mauser	Complete Process Semantics for Inhibitor Nets.	ICATPN	2007	DBLP DOI BibTeX RDF
21	Elisabeth Pelz, Dietmar Tutsch	Formal Models for Multicast Traffic in Network on Chip Architectures with Compositional High-Level Petri Nets.	ICATPN	2007	DBLP DOI BibTeX RDF
21	Antoni W. Mazurkiewicz	Petri Nets Without Tokens.	ICATPN	2007	DBLP DOI BibTeX RDF
21	Marco Beccuti, Giuliana Franceschinis, Serge Haddad	Markov Decision Petri Net and Markov Decision Well-Formed Net Formalisms.	ICATPN	2007	DBLP DOI BibTeX RDF
21	Karsten Wolf	Generating Petri Net State Spaces.	ICATPN	2007	DBLP DOI BibTeX RDF
21	Michael Köhler 0001, Heiko Rölke	Web Service Orchestration with Super-Dual Object Nets.	ICATPN	2007	DBLP DOI BibTeX RDF	super-dual nets, Petri nets, refinement, duality, nets-within-nets
21	Somsak Vanit-Anunchai, Jonathan Billington	Modelling the Datagram Congestion Control Protocol's Connection Management and Synchronization Procedures.	ICATPN	2007	DBLP DOI BibTeX RDF	Formal Specification, Internet Protocols, Coloured Petri Nets, DCCP
21	Ivan Poliakov, Danil Sokolov, Andrey Mokhov	Workcraft: A Static Data Flow Structure Editing, Visualisation and Analysis Tool.	ICATPN	2007	DBLP DOI BibTeX RDF
21	Niels Lohmann, Peter Massuthe, Karsten Wolf	Operating Guidelines for Finite-State Services.	ICATPN	2007	DBLP DOI BibTeX RDF
21	Pierre Ganty, Jean-François Raskin, Laurent Van Begin	From Many Places to Few: Automatic Abstraction Refinement for Petri Nets.	ICATPN	2007	DBLP DOI BibTeX RDF
21	Kyller Costa Gorgônio, Jordi Cortadella, Fei Xia	A Compositional Method for the Synthesis of Asynchronous Communication Mechanisms.	ICATPN	2007	DBLP DOI BibTeX RDF	Asynchronous communication mechanisms, model checking, Petri nets, protocols, synthesis, concurrent systems
21	Michael Köhler 0001, Berndt Farwer	Object Nets for Mobility.	ICATPN	2007	DBLP DOI BibTeX RDF	object nets, Petri nets, Mobile agents, nets-within-nets, name spaces
21	Wil M. P. van der Aalst, Boudewijn F. van Dongen, Christian W. Günther, R. S. Mans, Ana Karla Alves de Medeiros, Anne Rozinat, Vladimir A. Rubin, Minseok Song 0001, H. M. W. Verbeek, A. J. M. M. Weijters	ProM 4.0: Comprehensive Support for Real Process Analysis.	ICATPN	2007	DBLP DOI BibTeX RDF
21	Victor Khomenko	Behaviour-Preserving Transition Insertions in Unfolding Prefixes.	ICATPN	2007	DBLP DOI BibTeX RDF	Petri net unfoldings, transition insertions, encoding conflicts, Petri nets, transformations, asynchronous circuits, STGs
21	Peng Men, Zhenhua Duan, Bin Yu	Utilizing Fuzzy Petri Net for Choreography Based Semantic Web Services Discovery.	ICATPN	2007	DBLP DOI BibTeX RDF	ontology, semantic web services, matchmaking, fuzzy petri net
21	Sadatoshi Kumagai, Toshiyuki Miyamoto	Autonomous Distributed System and Its Realization by Multi Agent Nets.	ICATPN	2007	DBLP DOI BibTeX RDF
21	Ranko Lazic 0001, Thomas Christopher Newcomb, Joël Ouaknine, A. W. Roscoe 0001, James Worrell 0001	Nets with Tokens Which Carry Data.	ICATPN	2007	DBLP DOI BibTeX RDF
21	Gianfranco Ciardo, Gerald Lüttgen, Andy Jinqing Yu	Improving Static Variable Orders Via Invariants.	ICATPN	2007	DBLP DOI BibTeX RDF
21	Michael Westergaard, Lars Michael Kristensen, Gerth Stølting Brodal, Lars Arge	The ComBack Method - Extending Hash Compaction with Backtracking.	ICATPN	2007	DBLP DOI BibTeX RDF
21	Andrzej Tarlecki	Toward Specifications for Reconfigurable Component Systems.	ICATPN	2007	DBLP DOI BibTeX RDF
21	Alexandre Hamez, Fabrice Kordon, Yann Thierry-Mieg, Fabrice Legond-Aubry	dmcG : A Distributed Symbolic Model Checker Based on GreatSPN.	ICATPN	2007	DBLP DOI BibTeX RDF	GreatSPN, Distributed Model Checking, Symbolic Reachability Graph
21	Kees M. van Hee, Alexander Serebrenik, Natalia Sidorova, Wil M. P. van der Aalst	History-Dependent Petri Nets.	ICATPN	2007	DBLP DOI BibTeX RDF
21	Susanna Donatelli, P. S. Thiagarajan (eds.)	Petri Nets and Other Models of Concurrency - ICATPN 2006, 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006, Proceedings	ICATPN	2006	DBLP DOI BibTeX RDF
21	Hubert Garavel	Reflections on the Future of Concurrency Theory in General and Process Calculi in Particular.	LIX	2006	DBLP DOI BibTeX RDF
21	Tachio Terauchi, Alex Aiken	A Capability Calculus for Concurrency and Determinism.	CONCUR	2006	DBLP DOI BibTeX RDF
21	Roberto Segala	Probability and Nondeterminism in Operational Models of Concurrency.	CONCUR	2006	DBLP DOI BibTeX RDF
21	Baver Acu, Wolfgang Reisig	Compensation in Workflow Nets.	ICATPN	2006	DBLP DOI BibTeX RDF
21	Javier Campos, José Merseguer	On the Integration of UML and Petri Nets in Software Development.	ICATPN	2006	DBLP DOI BibTeX RDF
21	Katrin Winkelmann, Holger Luczak	Prospective Analysis of Cooperative Provision of Industrial Services Using Coloured Petri Nets.	ICATPN	2006	DBLP DOI BibTeX RDF
21	Elena Gómez-Martínez, José Merseguer	ArgoSPE: Model-Based Software Performance Engineering.	ICATPN	2006	DBLP DOI BibTeX RDF	UML-SPT, UML, software performance evaluation, GSPN
21	Roberto Bruni, Hernán C. Melgratti	Non-sequential Behaviour of Dynamic Nets.	ICATPN	2006	DBLP DOI BibTeX RDF
21	Andreas Glausch, Wolfgang Reisig	How Expressive Are Petri Net Schemata?.	ICATPN	2006	DBLP DOI BibTeX RDF
21	Eric Fabre	On the Construction of Pullbacks for Safe Petri Nets.	ICATPN	2006	DBLP DOI BibTeX RDF
21	Olivier Bonnet-Torrés, Patrice Domenech, Charles Lesire, Catherine Tessier	Exhost-PIPE: PIPE Extended for Two Classes of Monitoring Petri Nets.	ICATPN	2006	DBLP DOI BibTeX RDF
21	Robert Lorenz 0001, Gabriel Juhás	Towards Synthesis of Petri Nets from Scenarios.	ICATPN	2006	DBLP DOI BibTeX RDF
21	Stephan Roch, Karsten Schmidt 0004	On the Step Explosion Problem.	ICATPN	2006	DBLP DOI BibTeX RDF	step semantics, inhibitory, signal arcs, priorities, read, partial order reduction, State space exploration, reset
21	Robin Bergenthum, Jörg Desel, Gabriel Juhás, Robert Lorenz 0001	Can I Execute My Scenario in Your Net? VipTool Tells You!	ICATPN	2006	DBLP DOI BibTeX RDF
21	Sami Evangelista, Jean-François Pradat-Peyre	On the Computation of Stubborn Sets of Colored Petri Nets.	ICATPN	2006	DBLP DOI BibTeX RDF
21	Ralph-Johan Back	Invariant Based Programming.	ICATPN	2006	DBLP DOI BibTeX RDF
21	David R. Gilbert, Monika Heiner	From Petri Nets to Differential Equations - An Integrative Approach for Biochemical Network Analysis.	ICATPN	2006	DBLP DOI BibTeX RDF
21	Spyros A. Reveliotis, Jin Young Choi 0001	Designing Reversibility-Enforcing Supervisors of Polynomial Complexity for Bounded Petri Nets Through the Theory of Regions.	ICATPN	2006	DBLP DOI BibTeX RDF
21	Michael Westergaard, Kristian Bisgaard Lassen	The BRITNeY Suite Animation Tool.	ICATPN	2006	DBLP DOI BibTeX RDF
21	Jochen Stier, Jens H. Jahnke, Hausi A. Müller	Geist3D, a Simulation Tool for Geometry-Driven Petri Nets.	ICATPN	2006	DBLP DOI BibTeX RDF
21	R. Goud, Kees M. van Hee, R. D. J. Post, Jan Martijn E. M. van der Werf	Petriweb: A Repository for Petri Nets.	ICATPN	2006	DBLP DOI BibTeX RDF
21	Nicolas Baudru, Rémi Morin	The Synthesis Problem of Netcharts.	ICATPN	2006	DBLP DOI BibTeX RDF
21	Jianli Xu	Using Colored Petri Nets and Tools to Support Mobile Terminal and Network Software Development.	ICATPN	2006	DBLP DOI BibTeX RDF
21	Meuse N. Oliveira Jr., Silvino Neto, Paulo Romero Martins Maciel, Ricardo Massa Ferreira Lima, Angelo Ribeiro, Raimundo S. Barreto, Eduardo Tavares, Frederico Braga	Analyzing Software Performance and Energy Consumption of Embedded Systems by Probabilistic Modeling: An Approach Based on Coloured Petri Nets.	ICATPN	2006	DBLP DOI BibTeX RDF
21	Serge Haddad, Lynda Mokdad, Patrice Moreaux	A New Approach to the Evaluation of Non Markovian Stochastic Petri Nets.	ICATPN	2006	DBLP DOI BibTeX RDF
21	Ekkart Kindler, Vladimir A. Rubin, Robert Wagner 0002	Component Tools: Integrating Petri Nets with Other Formal Methods.	ICATPN	2006	DBLP DOI BibTeX RDF
21	Kees M. van Hee, Irina A. Lomazova, Olivia Oanea, Alexander Serebrenik, Natalia Sidorova, Marc Voorhoeve	Nested Nets for Adaptive Systems.	ICATPN	2006	DBLP DOI BibTeX RDF	modeling, adaptivity, Petri nets, workflow
21	Sibylle B. Fröschle, Slawomir Lasota 0001	Causality Versus True-Concurrency.	EXPRESS	2005	DBLP DOI BibTeX RDF
21	Emmanuel Haucourt	Comparing Topological Models for Concurrency.	GETCO@CONCUR	2005	DBLP DOI BibTeX RDF
21	Damiano Mazza	Multiport Interaction Nets and Concurrency.	CONCUR	2005	DBLP DOI BibTeX RDF
21	Deepak Garg 0001, Frank Pfenning	Type-Directed Concurrency.	CONCUR	2005	DBLP DOI BibTeX RDF
21	Thomas T. Hildebrandt, Alexander Kurz 0001, Eric Goubault, Ulrich Fahrenberg (eds.)	Combined Proceedings of the Second Workshop on Categorical Methods for Concurrency, Interaction, and Mobility, CMCIM 2003, and the Fifth Workshop on Geometric and Topological Methods in Concurrency, GETCO 2003, Satellite Events of CONCUR 2003, Marseille, France, September 6, 2003	CMCIM/GETCO@CONCUR	2004	DBLP BibTeX RDF
21	Peter Bubenik	Context for Models of Concurrency.	GETCO@DISC	2004	DBLP DOI BibTeX RDF
21	Peter W. O'Hearn	Resources, Concurrency and Local Reasoning.	CONCUR	2004	DBLP DOI BibTeX RDF
21	Flavio Corradini, Uwe Nestmann	Foreword: Proceedings of the 10th International Workshop on Expressiveness in Concurrency.	EXPRESS	2003	DBLP DOI BibTeX RDF
21	Pieter J. L. Cuijpers, Michel A. Reniers	Topological (Bi-)Simulation.	CMCIM/GETCO@CONCUR	2003	DBLP DOI BibTeX RDF
21	Thomas T. Hildebrandt, Alexander Kurz 0001	Preface.	CMCIM/GETCO@CONCUR	2003	DBLP DOI BibTeX RDF
21	Philippe Gaucher	The Homotopy Branching Space of a Flow.	CMCIM/GETCO@CONCUR	2003	DBLP DOI BibTeX RDF
21	Ling Cheung, Jesse Hughes	Concise Graphs and Functional Bisimulations.	CMCIM/GETCO@CONCUR	2003	DBLP DOI BibTeX RDF
21	Eric Goubault, Ulrich Fahrenberg	Preface.	CMCIM/GETCO@CONCUR	2003	DBLP DOI BibTeX RDF
21	Kathryn Hess, Paul-Eugène Parent, Andrew Tonks, Krzysztof Worytkiewicz	Simulations as Homotopies.	CMCIM/GETCO@CONCUR	2003	DBLP DOI BibTeX RDF
21	Ulrich Fahrenberg	Directed Homology.	CMCIM/GETCO@CONCUR	2003	DBLP DOI BibTeX RDF
21	Martin Hyland, John Power	Symmetric Monoidal Sketches and Categories of Wirings.	CMCIM/GETCO@CONCUR	2003	DBLP DOI BibTeX RDF
21	Michael W. Mislove	Editorial.	CMCIM/GETCO@CONCUR	2003	DBLP DOI BibTeX RDF
21	Stefan Sokolowski	A case for po-manifolds - in chase after a good topological model for concurrency.	GETCO	2002	DBLP DOI BibTeX RDF
21	Luís Caires, Luca Cardelli	A Spatial Logic for Concurrency (Part II).	CONCUR	2002	DBLP DOI BibTeX RDF
21	Jerry R. Burch, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli	Overcoming Heterophobia: Modeling Concurrency in Heterogeneous Systems.	ACSD	2001	DBLP DOI BibTeX RDF
21	Philippe Gaucher	From Concurrency to Algebraic Topology.	GETCO	2000	DBLP DOI BibTeX RDF
21	Thomas Noll 0001	On Coherence Properties in Team Rewriting Models of Concurrency.	CONCUR	1999	DBLP DOI BibTeX RDF
21	Howard Bowman, Joost-Pieter Katoen	A True Concurrency Semantics for ET-LOTOS.	ACSD	1998	DBLP DOI BibTeX RDF
21	Leila Ribeiro Korff, Martin Korff	True Concurrency = Interleaving Concurrency + Weak Conflict.	US-Brazil Joint Workshops on the Formal Foundations of Software Systems	1997	DBLP DOI BibTeX RDF
21	Chengzheng Sun, Yun Yang, Yanchun Zhang, David Chen 0002	Distributed Concurrency Control in Real-time Cooperative Editing Systems.	ASIAN	1996	DBLP DOI BibTeX RDF
21	Marta Kwiatkowska, Iain C. C. Phillips	Possible and Guaranteed Concurrency in CSP.	STRICT	1995	DBLP DOI BibTeX RDF
21	Alan Mycroft, Pierpaolo Degano, Corrado Priami	Complexity as a Basis for Comparing Semantic Models of Concurrency.	ASIAN	1995	DBLP DOI BibTeX RDF
21	Samson Abramsky, Simon J. Gay, Rajagopal Nagarajan	Specification Structures and Propositions-as-Types for Concurrency.	Banff Higher Order Workshop	1995	DBLP DOI BibTeX RDF
21	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
21	Qiwen Xu, Antonio Cau, Pierre Collette	On Unifying Assumption-Commitment Style Proof Rules for Concurrency.	CONCUR	1994	DBLP DOI BibTeX RDF
21	Jan J. M. M. Rutten, Daniele Turi	Initial Algebra and Final Coalgebra Semantics for Concurrency.	REX School/Symposium	1993	DBLP DOI BibTeX RDF	bisimulation, Algebra, algebra, induction, initiality, labelled transition system, congruence, coalgebra, coinduction, finality
21	Vladimiro Sassone, Mogens Nielsen, Glynn Winskel	A Classification of Models for Concurrency.	CONCUR	1993	DBLP DOI BibTeX RDF
21	José Meseguer 0001	Rewriting as a Unified Model of Concurrency.	CONCUR	1990	DBLP DOI BibTeX RDF
21	Dushan Z. Badal	Concurrency Control Overhead or Closer Look at Blocking vs. Nonblocking Concurrency Control Mechanisms.	Berkeley Workshop	1981	DBLP BibTeX RDF
21	Dushan Z. Badal	On the Degree of Concurrency Provided by Concurrency Control Mechanisms for Distributed Databases.	DDB	1980	DBLP BibTeX RDF
20	Julian Gutierrez 0001	Logics and Bisimulation Games for Concurrency, Causality and Conflict.	FoSSaCS	2009	DBLP DOI BibTeX RDF	Bisimulation games, Behavioural equivalences, Concurrent and reactive systems, Petri nets, Modal and temporal logics
20	Salil Mohan Pant, Gregory T. Byrd	Extending concurrency of transactional memory programs by using value prediction.	Conf. Computing Frontiers	2009	DBLP DOI BibTeX RDF	logtm, transactional memory, value prediction