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 |
|