|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 7652 occurrences of 2452 keywords
|
|
|
Results
Found 10697 publication records. Showing 10697 according to the selection in the facets
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 |
|
|
|