Search results for "Concurrency"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
24	R. K. Shyamasundar, James W. Thatcher	Language Constructs for Specifying Concurrency in CDL*.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	CDL* concurrency specification, dynamically allocating resources, CDL*, distributed programming languages, parallel programming, data integrity, data integrity, anonymity, specification languages, mutual exclusion, expressiveness, specification techniques, modular specification, language constructs, abstraction mechanisms, dynamic resource management
24	Toshihide Ibaraki, Tiko Kameda, Naoki Katoh	Cautious Transaction Schedulers for Database Concurrency Control.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	cautious schedulers, WW, write-write constraints, WRW, WW-scheduler, polynomial-time scheduling algorithm, read sets, write sets, scheduling, computational complexity, computational complexity, distributed databases, distributed databases, NP-complete, database theory, transaction schedulers, database concurrency control
24	Antoni W. Mazurkiewicz	Basic notions of trace theory.	REX Workshop	1988	DBLP DOI BibTeX RDF	Petri nets, concurrency, processes, traces, partial ordering
24	Pierpaolo Degano, Rocco De Nicola, Ugo Montanari	Partial orderings descriptions and observations of nondeterministic concurrent processes.	REX Workshop	1988	DBLP DOI BibTeX RDF	LES, Concurrency, Nondeterminism, CCS, Communicating Processes, Observational Equivalence, Semantics of Programming Languages
24	Hartmut Ehrig, Barry K. Rosen	Concurrency of Manipulations in Multidimensional Information Structures.	MFCS	1978	DBLP DOI BibTeX RDF	Multidimensional Information Structures, Applications of Category Theory, Parallelism, Concurrency, Graph Grammars, Church-Rosser-Properties
24	Soyeon Park, Yuanyuan Zhou 0001, Weiwei Xiong, Zuoning Yin, Rini Kaushik, Kyu H. Lee, Shan Lu 0001	PRES: probabilistic replay with execution sketching on multiprocessors.	SOSP	2009	DBLP DOI BibTeX RDF	replay, concurrency bug
24	Patrice Chalin, Daniel Sinnig, Kianoush Torkzadeh	Capturing business transaction requirements in use case models.	SAC	2008	DBLP DOI BibTeX RDF	concurrency, requirements, use cases, business transactions
24	Peter Grogono, Brian Shearing	Concurrent software engineering: preparing for paradigm shift.	C3S2E	2008	DBLP DOI BibTeX RDF	concurrency, software development, programming languages, evolvability, paradigm shift
24	Armand Navabi, Xiangyu Zhang 0001, Suresh Jagannathan	Quasi-static scheduling for safe futures.	PPoPP	2008	DBLP DOI BibTeX RDF	concurrency control, future, static program analysis
24	Pavel Parízek, Frantisek Plásil	Partial Verification of Software Components: Heuristics for Environment Construction.	EUROMICRO-SEAA	2007	DBLP DOI BibTeX RDF	concurrency errors, model checking, static analysis, software components, Java PathFinder
24	James B. Lim, Ali R. Hurson	Transaction Processing in Mobile, Heterogeneous Database Systems.	IEEE Trans. Knowl. Data Eng.	2002	DBLP DOI BibTeX RDF	global information sharing process, caching and prefetching, simulation and analysis, concurrency control, Mobile computing environment
24	Horst F. Wedde, Sabine Böhm, Wolfgang Freund	Adaptive Protocols For Survivability Of Transactions Operating On Replicated Objects.	WORDS	2001	DBLP DOI BibTeX RDF	adaptive transaction management, adaptive concurrency control, real-time systems, safety-critical systems, Distributed operating systems
24	Anindya Datta, Sang Hyuk Son, Vijay Kumar 0002	Is a Bird in the Hand Worth More than Two in the Bush? Limitations of Priority Cognizance in Conflict Resolution for Firm Real-Time Database Systems.	IEEE Trans. Computers	2000	DBLP DOI BibTeX RDF	performance evaluation, concurrency control, Real-time database systems
24	Xin Zhang 0002, Elke A. Rundensteiner	DyDa: Dynamic Data Warehouse Maintenance in a Fully Concurrent Environment.	DaWaK	2000	DBLP DOI BibTeX RDF	Data Updates and Schema Changes, Concurrency, Data Warehousing, View Maintenance
24	Sharad Mehrotra, Rajeev Rastogi, Henry F. Korth, Abraham Silberschatz	Ensuring Consistency in Multidatabases by Preserving Two-Level Serializability.	ACM Trans. Database Syst.	1998	DBLP DOI BibTeX RDF	beyond serializability, concurrency control, multidatabases, database consistency
24	Didier Buchs, C. Buffard, Pascal Racloz	Modeling and Validation of Tasks with Algebraic Structured Nets.	Ada-Europe	1995	DBLP DOI BibTeX RDF	protected type, CO-OPN, Petri net, Ada, concurrency, abstract data type, task
24	D. M. Marcynuk, D. Michael Miller	The OR-k method for on-line checking of programmable logic arrays.	J. Electron. Test.	1992	DBLP DOI BibTeX RDF	fault secure design, on-line checking, concurrency, programmable logic array
24	Gerhard Weikum	Principles and Realization Strategies of Multilevel Transaction Management.	ACM Trans. Database Syst.	1991	DBLP DOI BibTeX RDF	atomicity persistence concurrency control, multilevel transactions, persistence, serializability
24	Michel Dubois 0001, Christoph Scheurich	Memory Access Dependencies in Shared-Memory Multiprocessors.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	memory access dependencies, logical concurrency model, pipelining, multiprocessing systems, rules, shared-memory multiprocessors, multiprogramming, storage allocation, multiprocessor architectures, private caches
24	Derek L. Eager, Kenneth C. Sevcik	Achieving Robustness in Distributed Database Systems.	ACM Trans. Database Syst.	1983	DBLP DOI BibTeX RDF	searializability, robustness, concurrency control, network partitioning
23	Christie Marr	Capturing Conflict and Confusion in CSP.	IFM	2007	DBLP DOI BibTeX RDF	Interleaving Concurrency, Petri Nets, CSP, Conflict, Automatic Verification, True Concurrency, Confusion
23	Victor C. S. Lee, Kwok-Wa Lam, Sang Hyuk Son	Real-time transaction processing with partial validation at mobile clients.	RTCSA	2000	DBLP DOI BibTeX RDF	real-time transaction processing, partial validation, conflicting mobile transactions, data conflict detection, two-stage validation mechanism, processing resources, communication resources, transaction execution schedules, unnecessary transaction aborts, avoidable delay removal, asymmetric communication, schedule, real-time systems, mobile computing, data integrity, delays, concurrency control, wireless communication, transaction processing, client-server systems, deadlines, access protocols, mobile computing environments, mobile clients, concurrency control protocols
23	LihChyun Shu, Michal Young	Chopping and versioning real-time transactions to avoid remote blocking.	RTCSA	2000	DBLP DOI BibTeX RDF	real time transaction versioning, remote blocking, versioning protocols, chopping analysis, pure locking protocols, 1-version serializability, design time information, simple data structures, small bounded overheads, worst case access times, scheduling, real-time systems, protocols, concurrency control, multiprocessors, multiprocessing systems, transaction processing, configuration management, schedulability analysis, hard real time systems, critical sections, locking protocols, database concurrency control
23	Thomas F. Keefe, Wei-Tek Tsai	A multiversion transaction scheduler for centralized multilevel secure database systems.	HASE	1996	DBLP DOI BibTeX RDF	multiversion transaction scheduler, centralized multilevel secure database systems, multilevel secure database management systems, MLS/DBMSs, secure multiversion scheduling protocol, serializable schedules, MLS noninterference assertions, timestamp generation, concurrency, concurrency control, transactions, correctness, contention, failure, covert channels, data access, abstract model, concurrent execution, multiple versions
23	Haengrae Cho, Yoo-Sung Kim, Songchun Moon	Prototyping DIME: a tightly coupled heterogeneous distributed database system.	PDP	1995	DBLP DOI BibTeX RDF	tightly coupled, DIME, heterogeneous distributed database, global retrieval operations, global update operations, international standard protocols, remote database access, distributed databases, concurrency control, concurrency control, transaction processing, data distribution, software prototyping, distributed transaction processing
23	Shin-Mu Tseng, Yeh-Hao Chin, Wei-Pang Yang	Scheduling real-time transactions with dynamic values: a performance evaluation.	RTCSA	1995	DBLP DOI BibTeX RDF	scheduling, scheduling, real-time systems, concurrency control, concurrency control, transactions, transaction processing, real-time scheduling, software performance evaluation, real-time databases, real-time transactions, priority ordering
23	Sujata Banerjee, Panos K. Chrysanthis	Data sharing and recovery in gigabit-networked databases.	ICCCN	1995	DBLP DOI BibTeX RDF	wide area gigabit networks, very high speed networks, gigabit-networked databases, lock-based concurrency control protocol, log-based recovery protocol, sequential phases, concurrency control, message passing, data sharing, distributed information systems, data access, data recovery, database servers
23	Crispin Cowan, Hanan Lutfiyya, Michael A. Bauer 0001	Performance Benefits of Optimistic Programming: A Measure of HOPE.	HPDC	1995	DBLP DOI BibTeX RDF	optimistic programming, inter-node communications latency, parallel programming, concurrency, concurrency control, programming environments, programming environment, latency, software performance evaluation, programming model, prototype implementation, performance benefits
23	Ben C. Moszkowski	Compositional reasoning about projected and infinite time.	ICECCS	1995	DBLP DOI BibTeX RDF	multiple time granularities, parallel programming, concurrency, temporal logic, temporal logic, concurrency control, theorem proving, multiprocessing systems, deadlock, commitments, concurrent system, assumptions, Interval Temporal Logic
23	Mohan Ahuja	An Implementation of F-Channels.	IEEE Trans. Parallel Distributed Syst.	1993	DBLP DOI BibTeX RDF	F-channels, alternatepaths, distributed algorithms, distributed algorithms, concurrency, concurrency control, communication channel
23	Slawomir Pilarski, Tiko Kameda	Checkpointing for Distributed Databases: Starting from the Basics.	IEEE Trans. Parallel Distributed Syst.	1992	DBLP DOI BibTeX RDF	consistent snapshots, transaction-consistent checkpoints, distributed databases, distributed databases, concurrency control, checkpointing, database theory, timestamping, two-phase locking, concurrency control protocols
23	Mukesh Singhal	Update Transport: A New Technique for Update Synchronization in Replicated Database Systems.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	update transport, update synchronization, replicated database systems, fully distributed approach, user requests, low communication overhead, fully distributed algorithm, semidistributed algorithm, fully distributed model, update execution, moderate input/output overhead, parallelism, distributed databases, concurrency control, concurrency control, performance model, redundancy, performance study
23	Bruno Ciciani, Daniel M. Dias, Balakrishna R. Iyer, Philip S. Yu	A Hybrid Distributed Centralized System Structure for Transaction Processing.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	hybrid distributed centralized system structure, central system, non-local data, transaction processing applications, reservation systems, coherency control protocol, local transactions, distributed systems, concurrency, integrity, locality, data integrity, distributed processing, concurrency control, transaction processing, banking, remote accesses, insurance
23	Maurice Herlihy, Martin S. McKendry	Timestamp-Based Orphan Elimination.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	timestamp based orphan elimination, distributed transaction system, aborted transaction, two-phase protocols, real-time clocks, concurrency control method, distributed processing, concurrency control, database management systems, transaction processing
23	Ming-Yee Lai, W. Kevin Wilkinson, Vladimir Lanin	On Distributing JASMIN's Optimistic Multiversioning Page Manager.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	optimistic multiversioning page manager, functionally distributed database system, multiple microcomputers, page manager, transaction-management facilities, multiversioning concurrency control scheme, conflict checking, real-time database applications, telephone switching, routing services, centralized database, JASMIN intelligent store module, system implementation techniques, process structure, fast response time, data structures, data structures, synchronization, distributed databases, concurrency control, message passing, transaction processing, software packages, high throughput, microcomputer applications, read-only transactions, software modules
23	Toshimi Minoura, S. Sitharama Iyengar	Data and Time Abstraction Techniques for Analyzing Multilevel Concurrent Systems.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	time abstraction techniques, multilevel concurrent systems, bounced-buffer monitor, multilevel concurrency scheme, distributed databases, concurrency control, database system, data abstraction
21	Luke Cheeseman, Matthew J. Parkinson, Sylvan Clebsch, Marios Kogias, Sophia Drossopoulou, David Chisnall, Tobias Wrigstad, Paul Liétar	When Concurrency Matters: Behaviour-Oriented Concurrency.	Proc. ACM Program. Lang.	2023	DBLP DOI BibTeX RDF
21	Bernd-Holger Schlingloff, Thomas Vogel 0001, Andrzej Skowron (eds.)	Concurrency, Specification and Programming - Revised Selected Papers from the 29th International Workshop on Concurrency, Specification and Programming (CS&P'21), Berlin, Germany	CS&P (Revised Selected Papers)	2023	DBLP DOI BibTeX RDF
21	César Barrón-Rubio, Ernesto López-Mellado	Inferring Activity Concurrency Relations from Incomplete Event Logs.	ATAED/PN4TT@Petri Nets	2023	DBLP BibTeX RDF
21	Eduard Kamburjan, Nathan Wasser	The Right Kind of Non-Determinism: Using Concurrency to Verify C Programs with Underspecified Semantics.	ICE	2022	DBLP DOI BibTeX RDF
21	Filip Strömbäck, Linda Mannila, Mariam Kamkar	The Non-Deterministic Path to Concurrency - Exploring how Students Understand the Abstractions of Concurrency.	Informatics Educ.	2021	DBLP DOI BibTeX RDF
21	Elena N. Bozhenkova, Irina B. Virbitskaite	Extended Future in Testing Semantics for Time Petri Nets.	CS&P (Revised Selected Papers)	2021	DBLP DOI BibTeX RDF
21	Heinrich Mellmann, Volha Taliaronak, Verena V. Hafner	Towards an Anticipatory Mechanism for Complex Decisions in a Bio-Hybrid Beehive.	CS&P (Revised Selected Papers)	2021	DBLP DOI BibTeX RDF
21	Lukasz Skowronek, Pawel Góra, Marcin Mozejko, Arkadiusz Klemenko	Graph-Based Sparse Neural Networks for Traffic Signal Optimization.	CS&P (Revised Selected Papers)	2021	DBLP DOI BibTeX RDF
21	Damas P. Gruska	Security Enforcing.	CS&P (Revised Selected Papers)	2021	DBLP DOI BibTeX RDF
21	Viju Sudhi, Libin Kutty, Robin Gröpler	Natural Language Processing for Requirements Formalization: How to Derive New Approaches?	CS&P (Revised Selected Papers)	2021	DBLP DOI BibTeX RDF
21	Soma Dutta	An Example of Computation in Interactive Granular Computing.	CS&P (Revised Selected Papers)	2021	DBLP DOI BibTeX RDF
21	Roman R. Redziejowski	Left Recursion by Recursive Ascent.	CS&P (Revised Selected Papers)	2021	DBLP DOI BibTeX RDF
21	Eyad Kannout, Marek Grzegorowski, Hung Son Nguyen	Toward Recommender Systems Scalability and Efficacy.	CS&P (Revised Selected Papers)	2021	DBLP DOI BibTeX RDF
21	Agnieszka Boruta, Pawel Gburzynski, Ewa Kuznicka	A Protocol for Reliable Delivery of Streamed Sensor Data over a Low-Bandwidth Wireless Channel.	CS&P (Revised Selected Papers)	2021	DBLP DOI BibTeX RDF
21	Nicolas Dilley, Julien Lange	Bounded verification of message-passing concurrency in Go using Promela and Spin.	PLACES@ETAPS	2020	DBLP DOI BibTeX RDF
21	Roberto Gorrieri	Interleaving vs True Concurrency: Some Instructive Security Examples.	Petri Nets	2020	DBLP DOI BibTeX RDF
21	Ningnan Zhou, Xuan Zhou 0001, Kian-Lee Tan, Shan Wang 0001	Transparent Concurrency Control: Decoupling Concurrency Control from DBMS.	CoRR	2019	DBLP BibTeX RDF
21	Daniel Moldt, Ekkart Kindler, Manuel Wimmer (eds.)	Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE 2019), co-located with the 40th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2019 and the 19th International Conference on Application of Concurrency to System Design ACSD 2019 and the 1st IEEE International Conference on Process Mining Process Mining 2019, Aachen, Germany, June 23-28, 2019.	PNSE@Petri Nets/ACSD	2019	DBLP BibTeX RDF
21	Wil M. P. van der Aalst, Robin Bergenthum, Josep Carmona 0001 (eds.)	Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data 2019 Satellite event of the conferences: 40th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2019 and 19th International Conference on Application of Concurrency to System Design ACSD 2019, ATAED@Petri Nets/ACSD 2019, Aachen, Germany, June 25, 2019.	ATAED@Petri Nets/ACSD	2019	DBLP BibTeX RDF
21	Filip Strömbäck, Linda Mannila, Mikael Asplund, Mariam Kamkar	A Student's View of Concurrency - A Study of Common Mistakes in Introductory Courses on Concurrency.	ICER	2019	DBLP DOI BibTeX RDF
21	Elena Gómez-Martínez, Juan de Lara, Esther Guerra	Towards Extensible Structural Analysis of Petri Net Product Lines.	PNSE@Petri Nets/ACSD	2019	DBLP BibTeX RDF
21	Talal Alharbi, Maciej Koutny	Domain Name System (DNS) Tunneling Detection using Structured Occurrence Nets (SONs).	PNSE@Petri Nets/ACSD	2019	DBLP BibTeX RDF
21	Federica Adobbati, Luca Bernardinello, Lucia Pomello	An Asynchronous Game on Distributed Petri Nets.	PNSE@Petri Nets/ACSD	2019	DBLP BibTeX RDF
21	José Jean-Paul Zanlucchi de Souza Tavares, Gabriel De A. Souza	PNRD and iPNRD Integration Assisting Adaptive Control in Block World Domain.	PNSE@Petri Nets/ACSD	2019	DBLP BibTeX RDF
21	Piotr Chrzastowski-Wachtel, Michal Dolezek, Pawel Greipner, Tomasz Wójcicki	Petri Meta-Compiler - A Recursive Approach to System Design and Development.	PNSE@Petri Nets/ACSD	2019	DBLP BibTeX RDF
21	Jan Mendling	Quotients for Behaviour Comparisons: Monotone Precision and Recall Measures for Process Mining.	PNSE@Petri Nets/ACSD	2019	DBLP BibTeX RDF
21	Wen Zeng, Vasileios Germanos	Modelling Hybrid Cyber Kill Chain.	PNSE@Petri Nets/ACSD	2019	DBLP BibTeX RDF
21	Michael Simon, Daniel Moldt, Henri Engelhardt, Sven Willrodt	A First Prototype for the Visualization of the Reachability Graph of Reference Nets.	PNSE@Petri Nets/ACSD	2019	DBLP BibTeX RDF
21	Torsten Liebke, Karsten Wolf	Solving E (φUψ) using the CEGAR Approach.	PNSE@Petri Nets/ACSD	2019	DBLP BibTeX RDF
21	Maxi Weichenhain, Wolfgang Fengler 0001	A Petri Net Table Model Applied to Classic and Agile Project Management.	PNSE@Petri Nets/ACSD	2019	DBLP BibTeX RDF
21	Alejandro Rodríguez 0006, Lars Michael Kristensen, Adrian Rutle	On CTL Model Checking of the MQTT IoT Protocol using the Sweep-Line Method.	PNSE@Petri Nets/ACSD	2019	DBLP BibTeX RDF
21	Hans Vangheluwe	Petri Nets in Multi-Paradigm Modelling.	PNSE@Petri Nets/ACSD	2019	DBLP BibTeX RDF
21	Jan Henrik Röwekamp, Matthias Feldmann, Daniel Moldt, Michael Simon	Simulating Place/Transition Nets by a Distributed, Web Based, Stateless Service.	PNSE@Petri Nets/ACSD	2019	DBLP BibTeX RDF
21	Federica Adobbati, Carlo Ferigato, Stefano Gandelli, Adrián Puerto Aubel	Two Operations for Stable Structures of Elementary Regions.	ATAED@Petri Nets/ACSD	2019	DBLP BibTeX RDF
21	Nassim Laga, Marwa Elleuch, Walid Gaaloul, Oumaima Alaoui Ismaili	Emails Analysis for Business Process Discovery.	ATAED@Petri Nets/ACSD	2019	DBLP BibTeX RDF
21	Alessandro Berti, Wil M. P. van der Aalst	Reviving Token-based Replay: Increasing Speed While Improving Diagnostics.	ATAED@Petri Nets/ACSD	2019	DBLP BibTeX RDF
21	Raymond R. Devillers, Evgeny Erofeev, Thomas Hujsa	Synthesis of Weighted Marked Graphs from Circular Labelled Transition Systems.	ATAED@Petri Nets/ACSD	2019	DBLP BibTeX RDF
21	Jörg Desel	Can a Single Transition Stop an Entire Net?	ATAED@Petri Nets/ACSD	2019	DBLP BibTeX RDF
21	Ronny Tredup, Christian Rosenke	On the Hardness of Synthesizing Boolean Nets.	ATAED@Petri Nets/ACSD	2019	DBLP BibTeX RDF
21	Daniel Moldt, Ekkart Kindler, Heiko Rölke (eds.)	Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'18), co-located with the39th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2018 and the 18th International Conference on Application of Concurrency to System Design ACSD 2018, Bratislava, Slovakia, June 24-29, 2018.	PNSE@Petri Nets/ACSD	2018	DBLP BibTeX RDF
21	Wil M. P. van der Aalst, Robin Bergenthum, Josep Carmona 0001 (eds.)	Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data 2018 Satellite event of the conferences: 39th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2018 and 18th International Conference on Application of Concurrency to System Design ACSD 2018, Bratislava, Slovakia, June 25, 2018.	ATAED@Petri Nets/ACSD	2018	DBLP BibTeX RDF
21	Konstantin Läufer, George K. Thiruvathukal	Managing Concurrency in Mobile User Interfaces with Examples in Android.	Topics in Parallel and Distributed Computing	2018	DBLP DOI BibTeX RDF
21	Alexander Schulz-Rosengarten, Steven Smyth, Reinhard von Hanxleden, Michael Mendler	On Reconciling Concurrency, Sequentiality and Determinacy for Reactive Systems - A Sequentially Constructive Circuit Semantics for Esterel.	ACSD	2018	DBLP DOI BibTeX RDF
21	Rozália Lakner, Ferenc Friedler, Botond Bertók	P-graph Algorithms for Petri Net Synthesis.	PNSE@Petri Nets/ACSD	2018	DBLP BibTeX RDF
21	Talal Alharbi, Maciej Koutny	Visualising Data Sets in Structured Occurrence Nets.	PNSE@Petri Nets/ACSD	2018	DBLP BibTeX RDF
21	Jan Henrik Röwekamp, Daniel Moldt, Matthias Feldmann	Investigation of Containerizing Distributed Petri Net Simulations.	PNSE@Petri Nets/ACSD	2018	DBLP BibTeX RDF
21	Karsten Wolf	A Simple Abstract Interpretation for Petri Net Queries.	PNSE@Petri Nets/ACSD	2018	DBLP BibTeX RDF
21	Marco Vinícius Muniz Ferreira, José Jean-Paul Zanlucchi de Souza Tavares, José Reinaldo Silva	The Pheromone of Ant Emulated by Petri Net Inserted Inversely in RFID Database for Swarm Robots.	PNSE@Petri Nets/ACSD	2018	DBLP BibTeX RDF
21	Stefan Klikovits, Alban Linard, Dimitri Racordon, Didier Buchs	Petri Sport: A Sport for Petri Netters.	PNSE@Petri Nets/ACSD	2018	DBLP BibTeX RDF
21	Ramchandra Phawade	Kleene Theorems for Free Choice Nets Labelled with Distributed Alphabets.	PNSE@Petri Nets/ACSD	2018	DBLP BibTeX RDF
21	David Mosteller, Michael Haustermann, Daniel Moldt, Dennis Schmitz	Graphical Simulation Feedback in Petri Net-based Domain-Specific Languages within a Meta-Modeling Environment.	PNSE@Petri Nets/ACSD	2018	DBLP BibTeX RDF
21	Alejandro Rodríguez 0006, Lars Michael Kristensen, Adrian Rutle	On Modelling and Validation of the MQTT IoT Protocol for M2M Communication.	PNSE@Petri Nets/ACSD	2018	DBLP BibTeX RDF
21	Luca Bernardinello, Lucia Pomello, Adrián Puerto Aubel, Alessandro Villa	Checking Weak Observable Liveness on Unfoldings Through Asynchronous Games.	PNSE@Petri Nets/ACSD	2018	DBLP BibTeX RDF
21	Luca Bernardinello, Irina A. Lomazova, Roman Nesterov, Lucia Pomello	Compositional Discovery of Workflow Nets from Event Logs Using Morphisms.	ATAED@Petri Nets/ACSD	2018	DBLP BibTeX RDF
21	Wil M. P. van der Aalst	Relating Process Models and Event Logs - 21 Conformance Propositions.	ATAED@Petri Nets/ACSD	2018	DBLP BibTeX RDF
21	Raymond R. Devillers, Evgeny Erofeev, Thomas Hujsa	Synthesis of Weighted Marked Graphs from Constrained Labelled Transition Systems.	ATAED@Petri Nets/ACSD	2018	DBLP BibTeX RDF
21	Luca Bernardinello, Carlo Ferigato, Lucia Pomello, Adrián Puerto Aubel	On the Decomposition of Regional Events in Elementary Systems.	ATAED@Petri Nets/ACSD	2018	DBLP BibTeX RDF
21	Kamila Barylska, Anna Gogolinska, Lukasz Mikulski, Anna Philippou, Marcin Piatkowski, Kyriaki Psara	Reversing Computations Modelled by Coloured Petri Nets.	ATAED@Petri Nets/ACSD	2018	DBLP BibTeX RDF
21	Pieter M. Kwantes, Jetty Kleijn	On the Synthesis of Industry Level Process Models from Enterprise Level Process Models.	ATAED@Petri Nets/ACSD	2018	DBLP BibTeX RDF
21	Wil M. P. van der Aalst, Robin Bergenthum, Josep Carmona 0001 (eds.)	Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data 2017 Satellite event of the conferences: 38th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2017 and 17th International Conference on Application of Concurrency to System Design ACSD 2017, Zaragoza, Spain, June 26-27, 2017.	ATAED@Petri Nets/ACSD	2017	DBLP BibTeX RDF
21	Daniel Moldt, Lawrence Cabac, Heiko Rölke (eds.)	Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'17), co-located with the38th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2017 and the 17th International Conference on Application of Concurrency to System Design ACSD 2017, Zaragoza, Spain, June 25-30, 2017.	PNSE@Petri Nets	2017	DBLP BibTeX RDF
21	Dixin Tang, Hao Jiang 0021, Aaron J. Elmore	Adaptive Concurrency Control: Despite the Looking Glass, One Concurrency Control Does Not Fit All.	CIDR	2017	DBLP BibTeX RDF
21	Karsten Wolf	Model Checking Concurrency and Causality.	Petri Nets	2017	DBLP DOI BibTeX RDF
21	Alastair F. Donaldson, Jeroen Ketema, Tyler Sorensen 0001, John Wickerson	Forward Progress on GPU Concurrency (Invited Talk).	CONCUR	2017	DBLP DOI BibTeX RDF