Search results for "concurrency"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
28	Lucia Acciai, Michele Boreale	A Type System for Client Progress in a Service-Oriented Calculus.	Concurrency, Graphs and Models	2008	DBLP DOI BibTeX RDF	type systems, service-oriented computing, pi-calculus, process calculi
28	Doina Bucur, Mogens Nielsen	Secure Data Flow in a Calculus for Context Awareness.	Concurrency, Graphs and Models	2008	DBLP DOI BibTeX RDF	security, Ubiquitous Computing, context awareness, type system, Mobile Ambients
28	Ulrike Prange, Hartmut Ehrig, Kathrin Hoffmann, Julia Padberg	Transformations in Reconfigurable Place/Transition Systems.	Concurrency, Graphs and Models	2008	DBLP DOI BibTeX RDF
28	Jan J. M. M. Rutten	A Roman Senator.	Concurrency, Graphs and Models	2008	DBLP DOI BibTeX RDF
28	Martín Abadi	Automatic Mutual Exclusion and Atomicity Checks.	Concurrency, Graphs and Models	2008	DBLP DOI BibTeX RDF
28	Roberto Passerone, Alberto L. Sangiovanni-Vincentelli	Approximating Behaviors in Embedded System Design.	Concurrency, Graphs and Models	2008	DBLP DOI BibTeX RDF
28	Ezio Bartocci, Flavio Corradini, Radu Grosu, Emanuela Merelli, Oliviero Riganelli, Scott A. Smolka	StonyCam: A Formal Framework for Modeling, Analyzing and Regulating Cardiac Myocytes.	Concurrency, Graphs and Models	2008	DBLP DOI BibTeX RDF
28	Dines Bjørner	From Domain to Requirements.	Concurrency, Graphs and Models	2008	DBLP DOI BibTeX RDF
28	Rafael Caballero 0001, Narciso Martí-Oliet, Adrián Riesco 0001, Alberto Verdejo	Declarative Debugging of Membership Equational Logic Specifications.	Concurrency, Graphs and Models	2008	DBLP DOI BibTeX RDF	Maude, functional modules, membership equational logic, declarative debugging
28	Samson Abramsky	Petri Nets, Discrete Physics, and Distributed Quantum Computation.	Concurrency, Graphs and Models	2008	DBLP DOI BibTeX RDF
28	Robert D. Rosebrugh, Nicoletta Sabadini, Robert F. C. Walters	Calculating Colimits Compositionally.	Concurrency, Graphs and Models	2008	DBLP DOI BibTeX RDF
28	Luca Abeti, Paolo Ciancarini, Rocco Moretti	Business Process Modeling for Organizational Knowledge Management.	Concurrency, Graphs and Models	2008	DBLP DOI BibTeX RDF
28	Robert Mateescu, Rina Dechter	AND/OR Multi-valued Decision Diagrams for Constraint Networks.	Concurrency, Graphs and Models	2008	DBLP DOI BibTeX RDF
28	Roberto Bruni, Antonio Bucchiarone, Stefania Gnesi, Dan Hirsch, Alberto Lluch-Lafuente	Graph-Based Design and Analysis of Dynamic Software Architectures.	Concurrency, Graphs and Models	2008	DBLP DOI BibTeX RDF
28	Lorenzo Bettini, Sara Capecchi, Mariangiola Dezani-Ciancaglini, Elena Giachino, Betti Venneri	Session and Union Types for Object Oriented Programming.	Concurrency, Graphs and Models	2008	DBLP DOI BibTeX RDF	Object Oriented Programming, Sessions, Union Types, Session Types
28	Paola Quaglia	On Beta-Binders Communications.	Concurrency, Graphs and Models	2008	DBLP DOI BibTeX RDF
28	Stefano Bistarelli, Francesca Rossi 0001	Semiring-Based Soft Constraints.	Concurrency, Graphs and Models	2008	DBLP DOI BibTeX RDF
28	Paolo Baldan, Andrea Corradini 0001, Barbara König 0001	Unfolding Graph Transformation Systems: Theory and Applications to Verification.	Concurrency, Graphs and Models	2008	DBLP DOI BibTeX RDF
28	Ivan Lanese, Hernán C. Melgratti	Synchronous Multiparty Synchronizations and Transactions.	Concurrency, Graphs and Models	2008	DBLP DOI BibTeX RDF
28	Romain Beauxis, Catuscia Palamidessi, Frank D. Valencia	On the Asynchronous Nature of the Asynchronous pi-Calculus.	Concurrency, Graphs and Models	2008	DBLP DOI BibTeX RDF
28	Egidio Astesiano, Gianna Reggio, Filippo Ricca	Modeling Business within a UML-Based Rigorous Software Development Approach.	Concurrency, Graphs and Models	2008	DBLP DOI BibTeX RDF
28	Nachum Dershowitz, Claude Kirchner	SPREADSPACES: Mathematically-Intelligent Graphical Spreadsheets.	Concurrency, Graphs and Models	2008	DBLP DOI BibTeX RDF
28	Jörg Desel, Wolfgang Reisig, Grzegorz Rozenberg (eds.)	Lectures on Concurrency and Petri Nets, Advances in Petri Nets [This tutorial volume originates from the 4th Advanced Course on Petri Nets, ACPN 2003, held in Eichstätt, Germany in September 2003. In addition to lectures given at ACPN 2003, additional chapters have been commissioned]	Lectures on Concurrency and Petri Nets	2004	DBLP DOI BibTeX RDF
28	Gianluigi Bellin	Chu's Construction: A Proof-Theoretic Approach.	Logic for Concurrency and Synchronisation	2003	DBLP DOI BibTeX RDF
28	Mads Dam	Proof Systems for π-Calculus Logics.	Logic for Concurrency and Synchronisation	2003	DBLP DOI BibTeX RDF
28	Colin Stirling	Bisimulation and Language Equivalence.	Logic for Concurrency and Synchronisation	2003	DBLP DOI BibTeX RDF
28	Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz	Geometry of Deduction Via Graphs of Proofs.	Logic for Concurrency and Synchronisation	2003	DBLP DOI BibTeX RDF
28	David Déharbe	A Tutorial Introduction to Symbolic Model Checking.	Logic for Concurrency and Synchronisation	2003	DBLP DOI BibTeX RDF
28	Gianluigi Bellin	Two Paradigms of Logical Computation in Affine Logic?	Logic for Concurrency and Synchronisation	2003	DBLP DOI BibTeX RDF
28	Mario R. F. Benevides	Modal Logics for Finite Graphs.	Logic for Concurrency and Synchronisation	2003	DBLP DOI BibTeX RDF
28	Jonathan Billington, Guy Edward Gallasch, Bing Han	A Coloured Petri Net Approach to Protocol Verification.	Lectures on Concurrency and Petri Nets	2003	DBLP DOI BibTeX RDF
28	Dan Barak, David Harel, Rami Marelly	InterPlay: Horizontal Scale-up and Transition to Design in Scenario-Based Programming.	Lectures on Concurrency and Petri Nets	2003	DBLP DOI BibTeX RDF
28	Simona Bernardi 0001, Andrea Bobbio, Susanna Donatelli	Petri Nets and Dependability.	Lectures on Concurrency and Petri Nets	2003	DBLP DOI BibTeX RDF
28	Reiko Heckel, Hendrik Voigt	Model-Based Development of Executable Business Processes for Web Services.	Lectures on Concurrency and Petri Nets	2003	DBLP DOI BibTeX RDF
28	Blaise Genest, Anca Muscholl, Doron A. Peled	Message Sequence Charts.	Lectures on Concurrency and Petri Nets	2003	DBLP DOI BibTeX RDF
28	Jörg Desel, Vesna Milijic, Christian Neumair	Model Validation in Controller Design.	Lectures on Concurrency and Petri Nets	2003	DBLP DOI BibTeX RDF
28	Philippe Darondeau	Unbounded Petri Net Synthesis.	Lectures on Concurrency and Petri Nets	2003	DBLP DOI BibTeX RDF
28	Robin Milner	Bigraphs for Petri Nets.	Lectures on Concurrency and Petri Nets	2003	DBLP DOI BibTeX RDF
28	Josep Carmona 0001, Jordi Cortadella, Victor Khomenko, Alexandre Yakovlev	Synthesis of Asynchronous Hardware from Petri Nets.	Lectures on Concurrency and Petri Nets	2003	DBLP DOI BibTeX RDF
28	Roberto Bruni, Hernán C. Melgratti, Ugo Montanari	Extending the Zero-Safe Approach to Coloured, Reconfigurable and Dynamic Nets.	Lectures on Concurrency and Petri Nets	2003	DBLP DOI BibTeX RDF
28	Laura Recalde, Manuel Silva Suárez, Joaquin Ezpeleta, Enrique Teruel	Petri Nets and Manufacturing Systems: An Examples-Driven Tour.	Lectures on Concurrency and Petri Nets	2003	DBLP DOI BibTeX RDF
28	Johan Bengtsson, Wang Yi 0001	Timed Automata: Semantics, Algorithms and Tools.	Lectures on Concurrency and Petri Nets	2003	DBLP DOI BibTeX RDF
28	Abhik Roychoudhury, P. S. Thiagarajan	Communicating Transaction Processes: An MSC-Based Model of Computation for Reactive Embedded Systems.	Lectures on Concurrency and Petri Nets	2003	DBLP DOI BibTeX RDF
28	Lars Michael Kristensen, Jens Bæk Jørgensen, Kurt Jensen	Application of Coloured Petri Nets in System Development.	Lectures on Concurrency and Petri Nets	2003	DBLP DOI BibTeX RDF
28	Gabriel Juhás, Robert Lorenz 0001, Christian Neumair	Modelling and Control with Modules of Signal Nets.	Lectures on Concurrency and Petri Nets	2003	DBLP DOI BibTeX RDF
28	Søren Christensen, Jens Bæk Jørgensen	Teaching Coloured Petri Nets: Examples of Courses and Lessons Learned.	Lectures on Concurrency and Petri Nets	2003	DBLP DOI BibTeX RDF
28	Rüdiger Valk	Object Petri Nets: Using the Nets-within-Nets Paradigm.	Lectures on Concurrency and Petri Nets	2003	DBLP DOI BibTeX RDF
28	Giovanni Denaro, Mauro Pezzè	Petri Nets and Software Engineering.	Lectures on Concurrency and Petri Nets	2003	DBLP DOI BibTeX RDF
28	Wil M. P. van der Aalst	Business Process Management Demystified: A Tutorial on Models, Systems and Standards for Workflow Management.	Lectures on Concurrency and Petri Nets	2003	DBLP DOI BibTeX RDF	XML Process Definition Language(XPDL), Workflow verification, Workflow management, Business process management, Workflow management systems, Workflow patterns
28	Nadia Busi, Roberto Gorrieri	A Survey on Non-interference with Petri Nets.	Lectures on Concurrency and Petri Nets	2003	DBLP DOI BibTeX RDF
28	Jordi Cortadella, Alexandre Yakovlev, Grzegorz Rozenberg (eds.)	Concurrency and Hardware Design, Advances in Petri Nets	Concurrency and Hardware Design	2002	DBLP DOI BibTeX RDF
28	Alexander Kurz 0001 (eds.)	Categorical Methods for Concurrency, Interaction, and Mobility 2002, CONCUR 2002 Satellite Workshop, Brno, Czech Republic, August 24, 2002	Categorical Methods for Concurrency, Interaction, and Mobility @ CONCUR	2002	DBLP BibTeX RDF
28	Jesper B. Møller, Henrik Hulgaard, Henrik Reif Andersen	Timed Verification of Asynchronous Circuits.	Concurrency and Hardware Design	2002	DBLP DOI BibTeX RDF
28	Mark B. Josephs, Dennis P. Furey	A Programming Approach to the Design of Asynchronous Logic Blocks.	Concurrency and Hardware Design	2002	DBLP DOI BibTeX RDF
28	Victor Varshavsky, Vyacheslav Marakhovsky	GALA (Globally Asynchronous - Locally Arbitrary) Design.	Concurrency and Hardware Design	2002	DBLP DOI BibTeX RDF
28	Josep Carmona 0001, Jordi Cortadella, Enric Pastor	Synthesis of Reactive Systems: Application to Asynchronous Circuit Design.	Concurrency and Hardware Design	2002	DBLP DOI BibTeX RDF
28	Peter A. Beerel, Aiguo Xie	Performance Analysis of Asynchronous Circuits Using Markov Chains.	Concurrency and Hardware Design	2002	DBLP DOI BibTeX RDF
28	Felice Balarin, Luciano Lavagno, Claudio Passerone, Alberto L. Sangiovanni-Vincentelli, Marco Sgroi, Yosinori Watanabe	Modeling and Designing Heterogeneous Systems.	Concurrency and Hardware Design	2002	DBLP DOI BibTeX RDF
28	Igor Benko, Jo C. Ebergen	Composing Snippets.	Concurrency and Hardware Design	2002	DBLP DOI BibTeX RDF
28	Walter Vogler, Ralf Wollowski	Decomposition in Asynchronous Circuit Design.	Concurrency and Hardware Design	2002	DBLP DOI BibTeX RDF
28	Krzysztof Worytkiewicz	Concrete Process Categories.	Categorical Methods for Concurrency, Interaction, and Mobility @ CONCUR	2002	DBLP DOI BibTeX RDF
28	Richard Buckland, Michael Johnson, Dominic R. Verity	On the Specification of Higher Dimensional Automata.	Categorical Methods for Concurrency, Interaction, and Mobility @ CONCUR	2002	DBLP DOI BibTeX RDF
28	Jan Rothe, Dragan Masulovic	Towards Weak Bisimulation For Coalgebras.	Categorical Methods for Concurrency, Interaction, and Mobility @ CONCUR	2002	DBLP DOI BibTeX RDF
28	Alexander Kurz 0001	Preface.	Categorical Methods for Concurrency, Interaction, and Mobility @ CONCUR	2002	DBLP DOI BibTeX RDF
28	Marco Kick	Rule Formats for Timed Processes.	Categorical Methods for Concurrency, Interaction, and Mobility @ CONCUR	2002	DBLP DOI BibTeX RDF
28	Ralf Schweimeier	A categorical framework for typing CCS-style process communication.	Categorical Methods for Concurrency, Interaction, and Mobility @ CONCUR	2002	DBLP DOI BibTeX RDF
28	Petr Jancar, Mojmír Kretínský (eds.)	Proceedings of the MFCS '98 Workshop on Concurrency, Brno, Czech Republic, August 27-29, 1998	MFCS Workshop on Concurrency	1998	DBLP BibTeX RDF
28	Olaf Burkart	Queues as Processes.	MFCS Workshop on Concurrency	1998	DBLP DOI BibTeX RDF
28	Richard Mayr	Strict Lower Bounds for Model Checking BPA.	MFCS Workshop on Concurrency	1998	DBLP DOI BibTeX RDF
28	Faron Moller	A Taxonomy of Infinite State Processes.	MFCS Workshop on Concurrency	1998	DBLP DOI BibTeX RDF
28	Rocco De Nicola, Anna Labella	Tree Morphisms and Bisimulations.	MFCS Workshop on Concurrency	1998	DBLP DOI BibTeX RDF
28	Petr Jancar, Mojmír Kretínský	Preface.	MFCS Workshop on Concurrency	1998	DBLP DOI BibTeX RDF
28	Olga Kushnarenko, Sophie Pinchinat	Intensional Approaches for Symbolic Methods.	MFCS Workshop on Concurrency	1998	DBLP DOI BibTeX RDF
28	Gabriel Juhás	The essence of Petri nets and transition systems through Abelian groups.	MFCS Workshop on Concurrency	1998	DBLP DOI BibTeX RDF
28	Andrea Maggiolo-Schettini, Simone Tini	Projectable Semantics for Statecharts.	MFCS Workshop on Concurrency	1998	DBLP DOI BibTeX RDF
28	Gabriel Ciobanu, Mihai Rotaru	Faithful pi-nets - A graphical representation of the asynchronous pi-calculus .	MFCS Workshop on Concurrency	1998	DBLP DOI BibTeX RDF
28	Markus Müller-Olm	Derivation of Characteristic Formulae.	MFCS Workshop on Concurrency	1998	DBLP DOI BibTeX RDF
28	Daniel Hirschkoff	Automatically Proving Up-to Bisimulation.	MFCS Workshop on Concurrency	1998	DBLP DOI BibTeX RDF
28	Johan Lilius	Efficient State Space Search for Time Petri Nets.	MFCS Workshop on Concurrency	1998	DBLP DOI BibTeX RDF
28	Ulrich Ultes-Nitsche	Towards the Construction of an Abstract State-Space from a Partial-Order Representation of the Concrete One.	MFCS Workshop on Concurrency	1998	DBLP DOI BibTeX RDF
28	Igor V. Tarasyuk	Place bisimulation equivalences for design of concurrent and sequential systems.	MFCS Workshop on Concurrency	1998	DBLP DOI BibTeX RDF
28	Stefan Haar	Branching Processes of general S/T-Systems and their properties.	MFCS Workshop on Concurrency	1998	DBLP DOI BibTeX RDF
28	Pawel Paczkowski	Towards characterizing bisimilarity of value-passing processes with context-free control.	MFCS Workshop on Concurrency	1998	DBLP DOI BibTeX RDF
28	Jitka Stríbrná	Hardness results for weak bisimilarity of simple process algebras.	MFCS Workshop on Concurrency	1998	DBLP DOI BibTeX RDF
28	Dejan S. Milojicic, Alan Langerman, David L. Black 0001, Michelle Dominijanni, Randall W. Dean, Steven J. Sears	Concurrency: a case study in remote tasking and distributed TPC in Mach.	IEEE Concurrency	1997	DBLP DOI BibTeX RDF
28	David E. Langworthy, Stanley B. Zdonik	Extensibility and Asynchrony in the Brown-Object Storage System.	Performance of Concurrency Control Mechanisms in Centralized Database Systems	1996	DBLP BibTeX RDF
28	Andreas Reuter 0001	An Analytic Model of Transaction Interference.	Performance of Concurrency Control Mechanisms in Centralized Database Systems	1996	DBLP BibTeX RDF
28	Vijay Kumar, Meichun Hsu	Transactions and Database Processing.	Performance of Concurrency Control Mechanisms in Centralized Database Systems	1996	DBLP BibTeX RDF
28	C. Mohan 0001	Commit_LSN: A Novel and Simple Method for Reducing Locking and Latching in Transaction Processing Systems.	Performance of Concurrency Control Mechanisms in Centralized Database Systems	1996	DBLP BibTeX RDF
28	Panos K. Chrysanthis	Serializability-Based Correctness Criteria.	Performance of Concurrency Control Mechanisms in Centralized Database Systems	1996	DBLP BibTeX RDF
28	Alexander Thomasian	Two-Phase Locking Performance and Its Thrashing Behavior.	Performance of Concurrency Control Mechanisms in Centralized Database Systems	1996	DBLP BibTeX RDF
28	Tobin J. Lehman, Vibby Gottemukkala	The Design and Performance Evaluation of a Lock Manager for a Memory-Resident Database System.	Performance of Concurrency Control Mechanisms in Centralized Database Systems	1996	DBLP BibTeX RDF
28	Paul M. Bober, Michael J. Carey 0001	On Mixing Queries and Transactions via Multiversion Locking.	Performance of Concurrency Control Mechanisms in Centralized Database Systems	1996	DBLP BibTeX RDF
28	Michael J. Carey 0001, Miron Livny	Conflict Detection Tradeoffs for Replicated Data.	Performance of Concurrency Control Mechanisms in Centralized Database Systems	1996	DBLP BibTeX RDF
28	Friedemann Schwenkreis, Andreas Reuter 0001	Synchronizing Long-Lived Computations.	Performance of Concurrency Control Mechanisms in Centralized Database Systems	1996	DBLP BibTeX RDF
28	Patrick E. O'Neil, Krithi Ramamritham, Calton Pu	A Two-Phase Approach to Predictably Scheduling Real-Time Transactions.	Performance of Concurrency Control Mechanisms in Centralized Database Systems	1996	DBLP BibTeX RDF
28	Bin Zhang 0004, Meichun Hsu	Modeling Performance Impact of Hot Spots.	Performance of Concurrency Control Mechanisms in Centralized Database Systems	1996	DBLP BibTeX RDF
28	Peter E. Lauer (eds.)	Functional Programming, Concurrency, Simulation and Automated Reasoning: International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada	Functional Programming, Concurrency, Simulation and Automated Reasoning	1993	DBLP DOI BibTeX RDF
28	Stephen J. Garland, John V. Guttag, James J. Horning	An Overview of Larch.	Functional Programming, Concurrency, Simulation and Automated Reasoning	1993	DBLP DOI BibTeX RDF
28	John H. Reppy	Concurrent ML: Design, Application and Semantics.	Functional Programming, Concurrency, Simulation and Automated Reasoning	1993	DBLP DOI BibTeX RDF