|
|
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 |
31 | Min Li 0029, Shuming Gao, Jerry Y. H. Fuh, Yunfeng Zhang |
A Fine Granular Concurrency Control Mechanism for a Peer-to-Peer Cooperative Design Environment. |
CSCWD |
2007 |
DBLP DOI BibTeX RDF |
|
31 | Kamyar Izadi, Fatemeh Asadi, Mostafa S. Haghjoo |
XPLC: A Novel Protocol for Concurrency Control in XML Databases. |
AICCSA |
2007 |
DBLP DOI BibTeX RDF |
|
31 | Matthew Curtis-Maury, Karan Singh, Sally A. McKee, Filip Blagojevic, Dimitrios S. Nikolopoulos, Bronis R. de Supinski, Martin Schulz 0001 |
Identifying energy-efficient concurrency levels using machine learning. |
CLUSTER |
2007 |
DBLP DOI BibTeX RDF |
|
31 | Xinping Zhu, Wei Qin, Sharad Malik |
Modeling operation and microarchitecture concurrency for communication architectures with application to retargetable simulation. |
IEEE Trans. Very Large Scale Integr. Syst. |
2006 |
DBLP DOI BibTeX RDF |
|
31 | Leila Jalali, Ahmad Abdollahzadeh, Saeed Aliakbarian |
DBMSS: An event-based simulator for analyzing concurrency protocols in database systems. |
CCECE |
2006 |
DBLP DOI BibTeX RDF |
|
31 | Navdeep Kaur, Rajwinder Singh, Manoj Misra, Anil Kumar Sarje |
A Secure Concurrency Control for MLS/DDBSs. |
ICDIM |
2006 |
DBLP DOI BibTeX RDF |
|
31 | Shuqing Wu, Bettina Kemme |
Postgres-R(SI): Combining Replica Control with Concurrency Control based on Snapshot Isolation. |
ICDE |
2005 |
DBLP DOI BibTeX RDF |
|
31 | Aysu Betin-Can, Tevfik Bultan, Mikael Lindvall, Benjamin Lux, Stefan Topp |
Application of design for verification with concurrency controllers to air traffic control software. |
ASE |
2005 |
DBLP DOI BibTeX RDF |
model checking, synchronization, design patterns, interfaces, concurrent programming |
31 | Anand Singh Jalal, Sanjay Tanwani, Ashwani Kumar Ramani |
Optimistic Concurrency Control in Firm Real-Time Databases. |
IWDC |
2005 |
DBLP DOI BibTeX RDF |
|
31 | Aekyung Moon, Haengrae Cho |
Global Concurrency Control Using Message Ordering of Group Communication in Multidatabase Systems. |
ICCSA (3) |
2004 |
DBLP DOI BibTeX RDF |
|
31 | Aysu Betin-Can, Tevfik Bultan |
Verifiable Concurrent Programming Using Concurrency Controllers. |
ASE |
2004 |
DBLP DOI BibTeX RDF |
|
31 | Brad Long, Benjamin W. Long |
Formal Specification of Java Concurrency to Assist Software Verification. |
IPDPS |
2003 |
DBLP DOI BibTeX RDF |
|
31 | Tuba Yavuz-Kahveci, Tevfik Bultan |
Specification, verification, and synthesis of concurrency control components. |
ISSTA |
2002 |
DBLP DOI BibTeX RDF |
infinite-state model checking, monitors, specification languages, concurrent programming |
31 | Byeong-Soo Jeong, Daeho Kim, Sungyoung Lee |
Optimistic Secure Real-Time Concurrency Control Using Multiple Data Version. |
LCTES |
2000 |
DBLP DOI BibTeX RDF |
|
31 | Alain Girault, Bilung Lee, Edward A. Lee |
Hierarchical finite state machines with multiple concurrency models. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
1999 |
DBLP DOI BibTeX RDF |
|
31 | Malika Guerni, Jean Ferrié, Jean-François Pons |
Concurrency and Recovery for Typed Objects using a New Commutativity Relation. |
DOOD |
1995 |
DBLP DOI BibTeX RDF |
|
31 | Vaughan R. Pratt |
The Duality of TIme and Information. |
CONCUR |
1992 |
DBLP DOI BibTeX RDF |
|
31 | Maurice Herlihy |
Concurrency and Availability as Dual Properties of Replicated Atomic Data |
J. ACM |
1990 |
DBLP DOI BibTeX RDF |
|
31 | James Canning, P. Muthuvelraj, John Sieg |
An Adaptive Concurrency Control Algorithm (Abstract). |
ACM Conference on Computer Science |
1990 |
DBLP DOI BibTeX RDF |
|
31 | Catriel Beeri, Philip A. Bernstein, Nathan Goodman |
A model for concurrency in nested transactions systems. |
J. ACM |
1989 |
DBLP DOI BibTeX RDF |
|
31 | Valmir Carneiro Barbosa, Eli Gafni |
Concurrency in Heavily Loaded Neighborhood-Constrained Systems. |
ACM Trans. Program. Lang. Syst. |
1989 |
DBLP DOI BibTeX RDF |
|
31 | William E. Weihl |
Local Atomicity Properties: Modular Concurrency Control for Abstract Data Types. |
ACM Trans. Program. Lang. Syst. |
1989 |
DBLP DOI BibTeX RDF |
|
31 | Abdel Aziz Farrag, M. Tamer Özsu |
Using Semantic Knowledge of Transactions to Increase Concurrency. |
ACM Trans. Database Syst. |
1989 |
DBLP DOI BibTeX RDF |
|
31 | William E. Weihl |
The Impact of Recovery on Concurrency Control. |
PODS |
1989 |
DBLP DOI BibTeX RDF |
|
31 | Manfred Jackel |
ADA Concurrency Specified by Graph Grammars. |
WG |
1986 |
DBLP DOI BibTeX RDF |
|
31 | Rakesh Agrawal 0001, David J. DeWitt |
Integrated Concurrency Control and Recovery Mechanisms: Design and Performance Evaluation. |
ACM Trans. Database Syst. |
1985 |
DBLP DOI BibTeX RDF |
|
30 | Behnam Robatmili, Katherine E. Coons, Doug Burger, Kathryn S. McKinley |
Strategies for mapping dataflow blocks to distributed hardware. |
MICRO |
2008 |
DBLP DOI BibTeX RDF |
|
30 | Pallavi Shurpali, Ravi Shankar 0001, Ellie Shuff |
On Ensuring Safety and Liveness Properties of Concurrent Models in SystemC. |
MSE |
2005 |
DBLP DOI BibTeX RDF |
|
30 | Nagavamsi Ponnekanti |
Pseudo Column Level Locking. |
ICDE |
2001 |
DBLP DOI BibTeX RDF |
|
30 | Enrico Pontelli |
Concurrent Web-Programming in CLP(WEB). |
HICSS |
2000 |
DBLP DOI BibTeX RDF |
|
30 | Martin K. Purvis, Stephen Cranefield, Geoff Bush, Daniel Carter, Bryce McKinlay, Mariusz Nowostawski, Roy Ward |
The NZDIS Project: An Agent-based Distributed Information Systems Architecture. |
HICSS |
2000 |
DBLP DOI BibTeX RDF |
|
30 | Xiaogang Zhang, John Potter |
A Compositional Approach to Concurrent Objects. |
TOOLS (27) |
1998 |
DBLP DOI BibTeX RDF |
|
30 | Oscar Nierstrasz |
Two models of concurrent objects. |
OOPSLA/ECOOP Workshop on Object-based Concurrent Programming |
1988 |
DBLP DOI BibTeX RDF |
|
30 | Chris Tomlinson, Won Kim 0001, Mark Scheevel, Vineet Singh, Becky Will, Gul Agha |
Rosette: An object-oriented concurrent systems architecture. |
OOPSLA/ECOOP Workshop on Object-based Concurrent Programming |
1988 |
DBLP DOI BibTeX RDF |
|
30 | Maciej Koutny, Marta Pietkiewicz-Koutny |
Synthesis of Elementary Net Systems with Context Arcs and Localities. |
ICATPN |
2007 |
DBLP DOI BibTeX RDF |
theory of concurrency, net synthesis, step sequence semantics, inhibitor arcs, activator arcs, context arcs, Petri nets, localities, transition systems, structure and behaviour of nets, elementary net systems, theory of regions |
30 | Jan J. M. M. Rutten |
Correctness and full abstraction of metric semantics for concurrency. |
REX Workshop |
1988 |
DBLP DOI BibTeX RDF |
complete metric spaces, concurrency, contractions, correctness, operational semantics, compositionality, denotational semantics, full abstraction |
29 | Dasarath Weeratunge, Xiangyu Zhang 0001, William N. Sumner, Suresh Jagannathan |
Analyzing concurrency bugs using dual slicing. |
ISSTA |
2010 |
DBLP DOI BibTeX RDF |
dual slicing, concurrency bugs, execution indexing |
29 | Bo Zhang 0016, Binoy Ravindran |
Brief announcement: on enhancing concurrency in distributed transactional memory. |
PODC |
2010 |
DBLP DOI BibTeX RDF |
concurrency, transactional memory |
29 | Pierangelo di Sanzo, Roberto Palmieri, Bruno Ciciani, Francesco Quaglia, Paolo Romano 0002 |
Analytical modeling of lock-based concurrency control with arbitrary transaction data access patterns. |
WOSP/SIPEW |
2010 |
DBLP DOI BibTeX RDF |
concurrency control, two phase locking, data access patterns |
29 | Nima Sharifimehr, Samira Sadaoui |
An Extended Concurrency Control Service for CORBA. |
Australian Software Engineering Conference |
2008 |
DBLP DOI BibTeX RDF |
Concurrency Control Service, Distributed Systems, CORBA |
29 | Christopher Dragert, Jürgen Dingel, Karen Rudie |
Generation of concurrency control code using discrete-event systems theory. |
SIGSOFT FSE |
2008 |
DBLP DOI BibTeX RDF |
concurrency, model-driven development, control theory, discrete-event systems, automatic code generation |
29 | Djamel Berrabah, Stéphane Gançarski, Sarah Kaddour Chikh, Cécile Le Pape |
Optimistic path-based concurrency control over XML documents. |
CSTST |
2008 |
DBLP DOI BibTeX RDF |
XML, transactions, XPath, optimistic concurrency control |
29 | Mohammad Ansari, Christos Kotselidis, Kim Jarvis, Mikel Luján, Chris C. Kirkham, Ian Watson |
Experiences using adaptive concurrency in transactional memory with Lee's routing algorithm. |
PPoPP |
2008 |
DBLP DOI BibTeX RDF |
DSTM2, adaptive concurrency, transactional memory |
29 | Yarden Nir-Buchbinder, Shmuel Ur |
ConTest listeners: a concurrency-oriented infrastructure for Java test and heal tools. |
SOQUA |
2007 |
DBLP DOI BibTeX RDF |
Java, testing, concurrency, instrumentation, self-healing |
29 | M. Erkan Keremoglu, Serdar Tasiran, Tayfun Elmas |
A classification of concurrency bugs in java benchmarks by developer intent. |
PADTAD |
2006 |
DBLP DOI BibTeX RDF |
concurrency errors, verification, refinement, atomicity, race condition |
29 | Karun N. Biyani, Sandeep S. Kulkarni |
Concurrency Tradeoffs in Dynamic Adaptation. |
ICDCS Workshops |
2006 |
DBLP DOI BibTeX RDF |
Verification, Complexity, Concurrency, Specification, Dynamic Adaptation |
29 | Christian L. Jacobsen, Matthew C. Jadud |
Towards concrete concurrency: occam-pi on the LEGO mindstorms. |
SIGCSE |
2005 |
DBLP DOI BibTeX RDF |
occam ?, parallelism, concurrency, CSP, fun, LEGO |
29 | Sungjun Lim, Haengrae Cho |
Timestamp Based Concurrency Control in Broadcast Disks Environment. |
AIS |
2004 |
DBLP DOI BibTeX RDF |
performance evaluation, Mobile computing, concurrency control, transaction processing, broadcast disk |
29 | Mihail F. Ionescu, Ivan Marsic |
Tree-Based Concurrency Control in Distributed Groupware. |
Comput. Support. Cooperative Work. |
2003 |
DBLP DOI BibTeX RDF |
distributed algorithms, groupware, concurrency control |
29 | Tei-Wei Kuo, Yuan-Ting Kao, Chin-Fu Kuo |
Two-Version Based Concurrency Control and Recovery in Real-Time Client/Server Databases. |
IEEE Trans. Computers |
2003 |
DBLP DOI BibTeX RDF |
client/server databases, write through procedure, concurrency control, recovery, logging, Real-time database, read-only transactions |
29 | P. Krishna Reddy, Subhash Bhalla |
Asynchronous Operations in Distributed Concurrency Control. |
IEEE Trans. Knowl. Data Eng. |
2003 |
DBLP DOI BibTeX RDF |
nonblocking protocols, distributed algorithms, distributed databases, Concurrency control, serializability, deadlock avoidance |
29 | Stefano Borgo |
A Multi-agent Modal Language for Concurrency with Non-communicating Agents. |
CEEMAS |
2003 |
DBLP DOI BibTeX RDF |
game-theoretic semantics, multi-agent systems, concurrency, Modal logic, independence |
29 | Manfred Droste, R. M. Shortt |
From Petri Nets to Automata with Concurrency. |
Appl. Categorical Struct. |
2002 |
DBLP DOI BibTeX RDF |
automaton with concurrency relations, place/transition systems, conditional coproduct, coreflection, Petri net, adjunction |
29 | Alexander G. Dean |
Compiling for Fine-Grain Concurrency: Planning and Performing Software Thread Integration. |
Interaction between Compilers and Computer Architectures |
2002 |
DBLP DOI BibTeX RDF |
thread integration, Embedded system, real-time, compiler, concurrency, hardware to software migration |
29 | Sam Michiels, Lieven Desmet, Nico Janssens, Tom Mahieu, Pierre Verbaeten |
DistriNet: Self-adapting concurrency: the DMonA architecture. |
WOSS |
2002 |
DBLP DOI BibTeX RDF |
concurrency, self-adaptation, component architecture |
29 | Tei-Wei Kuo, Ming-Chung Liang, LihChyun Shu |
Abort-Oriented Concurrency Control for Real-Time Databases. |
IEEE Trans. Computers |
2001 |
DBLP DOI BibTeX RDF |
transaction aborting, concurrency control, Real-time databases, priority inversion |
29 | Chun Wong, Paul Marchal, Peng Yang |
Task concurrency management methodology to schedule the MPEG4 IM1 player on a highly parallel processor platform. |
CODES |
2001 |
DBLP DOI BibTeX RDF |
scheduling, embedded system, concurrency, MPEG-4, cost-efficiency |
29 | Tei-Wei Kuo, Aloysius K. Mok |
Real-Time Data Semantics and Similarity-Based Concurrency Control. |
IEEE Trans. Computers |
2000 |
DBLP DOI BibTeX RDF |
schedule correctness, Concurrency control, similarity, serializability, real-time database |
29 | Jayant R. Haritsa, S. Seshadri |
Real-Time Index Concurrency Control. |
IEEE Trans. Knowl. Data Eng. |
2000 |
DBLP DOI BibTeX RDF |
index concurrency control, B-link tree, B-tree, Real-time database |
29 | Dongman Lee, Jeonghwa Yang, Soon J. Hyun |
Scalable predictive concurrency control for large distributed virtual environments with densely populated objects. |
VRST |
2000 |
DBLP DOI BibTeX RDF |
Large scale distributed virtual environments, entity group, entity-centric multicast group, scalability, concurrency control, prediction scheme |
29 | W. Craig Scratchley, C. Murray Woodside |
Evaluating Concurrency Options in Software Specifications. |
MASCOTS |
1999 |
DBLP DOI BibTeX RDF |
Concurrency Architecture, Performance, Software Architecture, Scenarios, Software Design, Earliest-Deadline-First Scheduling |
29 | Jorge A. Baier, Javier Pinto |
Integrating True Concurrency into the Robot Programming Language. |
SCCC |
1999 |
DBLP DOI BibTeX RDF |
Golog, Congolog, TCongolog, Concurrency, Knowledge Representation |
29 | Garth Baulch, David Hemmendinger, Cherrice Traver |
Analyzing and verifying locally clocked circuits with the concurrency workbench. |
Great Lakes Symposium on VLSI |
1995 |
DBLP DOI BibTeX RDF |
locally clocked circuits, concurrency workbench, synchronous computational elements, concurrent system modelling, CCS process algebra, formal verification, timing, logic design, process algebra, logic CAD, asynchronous circuits, asynchronous circuits, circuit analysis computing, asynchronous communication |
29 | Gopi K. Attaluri, Jacob Slonim, Per-Åke Larson |
Concurrency control with lock preemption and restoration. |
CASCON |
1995 |
DBLP BibTeX RDF |
non-traditional database applications, concurrency control, locking, transaction management |
29 | Tirza Hirst, David Harel |
On the Power of Bounded Concurrency II: Pushdown Automata. |
J. ACM |
1994 |
DBLP DOI BibTeX RDF |
cooperative concurrency, pushdown automata, succinctness |
29 | Erhard Rahm |
Empirical Performance Evaluation of Concurrency and Coherency Control Protocols for Database Sharing Systems. |
ACM Trans. Database Syst. |
1993 |
DBLP DOI BibTeX RDF |
coherency control, database partitioning, database sharing, performance analysis, concurrency control, trace-driven simulation, shared nothing, shared disk |
29 | Michel Habib, Michel Morvan, Jean-Xavier Rampon |
Remarks on Some Concurrency Measures. |
WG |
1990 |
DBLP DOI BibTeX RDF |
disgraphs, computational complexity, parallelism, concurrency, distributed computations, partial orders, interval orders, antichains |
29 | Mostafa A. Bassiouni |
Single-Site and Distributed Optimistic Protocols for Concurrency Control. |
IEEE Trans. Software Eng. |
1988 |
DBLP DOI BibTeX RDF |
single site protocols, single site networks, lock maintenance, deadlock handling, protocols, distributed databases, distributed databases, concurrency control, computer networks, database management system, system recovery, distributed networks, distributed protocols, time-stamps, performance enhancement, optimistic protocols, synchronization methods |
29 | Wolfgang Reisig |
A strong part of concurrency. |
European Workshop on Applications and Theory of Petri Nets |
1986 |
DBLP DOI BibTeX RDF |
interleaving sequences, concurrency, fairness, priority, conflict, confusion |
29 | H. T. Kung 0001, John T. Robinson |
On Optimistic Methods for Concurrency Control. |
ACM Trans. Database Syst. |
1981 |
DBLP DOI BibTeX RDF |
databases, concurrency controls, transaction processing |
29 | Philip A. Bernstein, David W. Shipman, James B. Rothnie Jr. |
Concurrency Control in a System for Distributed Databases (SDD-1). |
ACM Trans. Database Syst. |
1980 |
DBLP DOI BibTeX RDF |
synchronization, concurrency control, serializability, timestamps, distributed database system, conflict graph |
29 | Philip A. Bernstein, David W. Shipman |
The Correctness of Concurrency Control Mechanisms in a System for Distributed Databases (SDD-1). |
ACM Trans. Database Syst. |
1980 |
DBLP DOI BibTeX RDF |
correctness of concurrency control, serializability theory, distributed database system, conflict graph |
29 | Cheng-Ru Young, Ge-Ming Chiu |
Efficient Dissemination of Transaction-Consistent Data in Broadcast Environments. |
IEEE Trans. Knowl. Data Eng. |
2007 |
DBLP DOI BibTeX RDF |
Broadcast environment, view consistency, concurrency control, transaction |
29 | Stephen A. Edwards, Olivier Tardieu |
Efficient code generation from SHIM models. |
LCTES |
2006 |
DBLP DOI BibTeX RDF |
computed gotos, the shim model, embedded systems, concurrency, code synthesis |
29 | Armin Lawi, Kentaro Oda, Takaichi Yoshida |
Quorum Based Distributed Conflict Resolution Algorithm for Bounded Capacity Resources. |
ISPA Workshops |
2006 |
DBLP DOI BibTeX RDF |
distributed conflict resolution, fault-tolerance, Concurrency, mutual exclusion, quorum systems, coteries |
29 | Alan D. Fekete |
Allocating isolation levels to transactions. |
PODS |
2005 |
DBLP DOI BibTeX RDF |
concurrency control, consistency, serializability, anomaly, two-phase locking, snapshot isolation |
29 | Chanjung Park, Seog Park, Sang Hyuk Son |
Multiversion Locking Protocol with Freezing for Secure Real-Time Database Systems. |
IEEE Trans. Knowl. Data Eng. |
2002 |
DBLP DOI BibTeX RDF |
multiversion concurrency control, multilevel security, transaction management, real-time database systems, Locking protocol |
29 | Elisa Bertino, Barbara Catania, Elena Ferrari |
A nested transaction model for multilevel secure database management systems. |
ACM Trans. Inf. Syst. Secur. |
2001 |
DBLP DOI BibTeX RDF |
multilevel secure database management systems, concurrency control, covert channels, Nested transactions |
29 | Hongjun Lu, Yuet Yeung Ng, Zengping Tian |
T-Tree or B-Tree: Main Memory Database Index Structure Revisited. |
Australasian Database Conference |
2000 |
DBLP DOI BibTeX RDF |
T-tree, concurrency control, B-tree, main memory database, indexing techniques |
28 | Maciej Koutny, Robin Bergenthum, Gianfranco Ciardo (eds.) |
Transactions on Petri Nets and Other Models of Concurrency XVII |
Trans. Petri Nets and Other Models of Concurrency |
2023 |
DBLP DOI BibTeX RDF |
|
28 | Maciej Koutny, Fabrice Kordon, Daniel Moldt (eds.) |
Transactions on Petri Nets and Other Models of Concurrency XVI |
Trans. Petri Nets and Other Models of Concurrency |
2022 |
DBLP DOI BibTeX RDF |
|
28 | Maciej Koutny, Fabrice Kordon, Lucia Pomello (eds.) |
Transactions on Petri Nets and Other Models of Concurrency XV |
Trans. Petri Nets and Other Models of Concurrency |
2021 |
DBLP DOI BibTeX RDF |
|
28 | Maciej Koutny, Lucia Pomello, Lars Michael Kristensen (eds.) |
Transactions on Petri Nets and Other Models of Concurrency XIV |
Trans. Petri Nets and Other Models of Concurrency |
2019 |
DBLP DOI BibTeX RDF |
|
28 | Leslie Lamport |
The mutual exclusion problem: part II - Statement and solutions. |
Concurrency: the Works of Leslie Lamport |
2019 |
DBLP DOI BibTeX RDF |
|
28 | Karolos Antoniadis, Rachid Guerraoui |
The notions of time and global state in a distributed system. |
Concurrency: the Works of Leslie Lamport |
2019 |
DBLP DOI BibTeX RDF |
|
28 | Hagit Attiya, Jennifer L. Welch |
Shared memory and the Bakery algorithm. |
Concurrency: the Works of Leslie Lamport |
2019 |
DBLP DOI BibTeX RDF |
|
28 | Christian Cachin |
Byzantine faults. |
Concurrency: the Works of Leslie Lamport |
2019 |
DBLP DOI BibTeX RDF |
|
28 | Roy Levin |
Biography. |
Concurrency: the Works of Leslie Lamport |
2019 |
DBLP DOI BibTeX RDF |
|
28 | Robbert van Renesse |
State machine replication with benign failures. |
Concurrency: the Works of Leslie Lamport |
2019 |
DBLP DOI BibTeX RDF |
|
28 | Dahlia Malkhi, Idit Keidar |
Introduction. |
Concurrency: the Works of Leslie Lamport |
2019 |
DBLP DOI BibTeX RDF |
|
28 | Leslie Lamport |
How to make a multiprocessor computer that correctly executes multiprocess programs. |
Concurrency: the Works of Leslie Lamport |
2019 |
DBLP DOI BibTeX RDF |
|
28 | Stephan Merz |
Formal specification and verification. |
Concurrency: the Works of Leslie Lamport |
2019 |
DBLP DOI BibTeX RDF |
|
28 | |
Preface. |
Concurrency: the Works of Leslie Lamport |
2019 |
DBLP DOI BibTeX RDF |
|
28 | Leslie Lamport |
The part-time parliament. |
Concurrency: the Works of Leslie Lamport |
2019 |
DBLP DOI BibTeX RDF |
|
28 | Leslie Lamport |
Time, clocks, and the ordering of events in a distributed system. |
Concurrency: the Works of Leslie Lamport |
2019 |
DBLP DOI BibTeX RDF |
|
28 | Leslie Lamport |
The mutual exclusion problem: part I - A theory of interprocess communication. |
Concurrency: the Works of Leslie Lamport |
2019 |
DBLP DOI BibTeX RDF |
|
28 | |
References. |
Concurrency: the Works of Leslie Lamport |
2019 |
DBLP DOI BibTeX RDF |
|
28 | Leslie Lamport |
A new solution of Dijkstra's concurrent programming problem. |
Concurrency: the Works of Leslie Lamport |
2019 |
DBLP DOI BibTeX RDF |
|
28 | Leslie Lamport, Robert E. Shostak, Marshall C. Pease |
The Byzantine generals problem. |
Concurrency: the Works of Leslie Lamport |
2019 |
DBLP DOI BibTeX RDF |
|
28 | Maciej Koutny, Lars Michael Kristensen, Wojciech Penczek (eds.) |
Transactions on Petri Nets and Other Models of Concurrency XIII |
Trans. Petri Nets and Other Models of Concurrency |
2018 |
DBLP DOI BibTeX RDF |
|
Displaying result #201 - #300 of 10697 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ >>] |
|