Search results for "concurrency"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
14	John M. Linebarger, Christopher D. Janneck, G. Drew Kessler	Shared Simple Virtual Environment: An Object-Oriented Framework for Highly Interactive Group Collaboration.	DS-RT	2003	DBLP DOI BibTeX RDF	object-focused tasks, group collaboration modes, concurrency control mechanisms, collaborative virtual environments, application frameworks, Multi-user virtual reality, interaction mechanisms
14	Thomas C. Hudson, Aron T. Helser, Diane H. Sonnenwald, Mary C. Whitton	Managing Collaboration in the nanoManipulator.	VR	2003	DBLP DOI BibTeX RDF	nanoManipulator, concurrency control, collaborative virtual environments, distributed collaboration, scientific collaboration, state replication
14	Victor C. S. Lee, Kwok-Wa Lam, Sang Hyuk Son, Eddie Y. M. Chan	On Transaction Processing with Partial Validation and Timestamp Ordering in Mobile Broadcast Environments.	IEEE Trans. Computers	2002	DBLP DOI BibTeX RDF	partial validation, concurrency control, Transaction processing, broadcast disks, mobile clients, timestamp ordering
14	Johan Nordlander, Mark P. Jones, Magnus Carlsson, Richard B. Kieburtz, Andrew P. Black	Reactive Objects.	Symposium on Object-Oriented Real-Time Distributed Computing	2002	DBLP DOI BibTeX RDF	concurrency, object-oriented, programming model, reactive, event-based
14	Jessica Chen	Formal Modelling of Java GUI Event Handling.	ICFEM	2002	DBLP DOI BibTeX RDF	Java Swing and AWT, Model Checking, Concurrency, Nondeterminism, Labelled Transition Systems
14	Paul Gastin, Madhavan Mukund	An Elementary Expressively Complete Temporal Logic for Mazurkiewicz Traces.	ICALP	2002	DBLP DOI BibTeX RDF	concurrency, Temporal logics, Mazurkiewicz traces
14	Bharat Adsul, Milind A. Sohoni	Complete and Tractable Local Linear Time Temporal Logics over Traces.	ICALP	2002	DBLP DOI BibTeX RDF	Concurrency, Temporal Logics, Limits, Mazurkiewicz Traces
14	Ernst-Erich Doberkat	The Demonic Product of Probabilistic Relations.	FoSSaCS	2002	DBLP DOI BibTeX RDF	Probabilistic relations, demonic product, concurrency, bisimulation
14	Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo	Proving Correctness of Timed Concurrent Constraint Programs.	FoSSaCS	2002	DBLP DOI BibTeX RDF	Concurrency, constraints, temporal logic, real-time programming
14	Raul Silaghi, Alfred Strohmeier	Critical Evaluation of the EJB Transaction Model.	FIDJI	2002	DBLP DOI BibTeX RDF	Auction System, Concurrency, Transactions, Deadlock, EJB, Enterprise JavaBeans
14	Nordine Melab, Sébastien Cahon, El-Ghazali Talbi, Ludovic Duponchel	Parallel GA-Based Wrapper Feature Selection for Spectroscopic Data Mining.	IPDPS	2002	DBLP DOI BibTeX RDF	NIRspectroscopy, Genetic Algorithms, Parallelism, Feature Selection, Concurrency
14	Jianwei Niu 0001, Joanne M. Atlee, Nancy A. Day	Composable semantics for model-based notations.	SIGSOFT FSE	2002	DBLP DOI BibTeX RDF	model-based notations, communication, concurrency, composition, operational semantics, formal analysis
14	Steve A. Schneider, Helen Treharne	Communicating B Machines.	ZB	2002	DBLP DOI BibTeX RDF	Concurrency, CSP, B-Method, Combining Formalisms
14	Keijo Heljanko, Victor Khomenko, Maciej Koutny	Parallelisation of the Petri Net Unfolding Algorithm.	TACAS	2002	DBLP DOI BibTeX RDF	parallel algorithms, Model checking, Petri nets, concurrency, causality, unfolding
14	Sudsanguan Ngamsuriyaroj, Ali R. Hurson, Thomas F. Keefe	Maintaining Consistency of the Security Policy using Timestamp Ordering.	ITCC	2002	DBLP DOI BibTeX RDF	Performance, Concurrency control, Security policy, Consistency control, Timestamp ordering
14	Pietro Cenciarelli	Configuration Theories.	CSL	2002	DBLP DOI BibTeX RDF	configuration structures, Java, semantics, concurrency, sequent calculus
14	Hamza Mazouzi, Amal El Fallah Seghrouchni, Serge Haddad	Open protocol design for complex interactions in multi-agent systems.	AAMAS	2002	DBLP DOI BibTeX RDF	distributed observation, protocol diagrams, formal specification, validation, colored petri nets, true concurrency, AUML
14	Avigdor Gal, John Mylopoulos	Toward Web-Based Application Management Systems.	IEEE Trans. Knowl. Data Eng.	2001	DBLP DOI BibTeX RDF	concurrency control, domain model, Semantic interoperability, change propagation
14	Shengyuan Wang, Jian Yu, Chongyi Yuan	A Net-Based Multi-tier Behavior Inheritance Modelling Method.	Ershov Memorial Conference	2001	DBLP DOI BibTeX RDF	Behavior Inheritance, Petri Net, Concurrency, Object Orientation, Modelling Method
14	Michael Leuschel	Design and Implementation of the High-Level Specification Language CSP(LP) in Prolog.	PADL	2001	DBLP DOI BibTeX RDF	Implementation and Compilation, Verification, Concurrency, Specification
14	Volker Diekert, Paul Gastin	Local Temporal Logic is Expressively Complete for Cograph Dependence Alphabets.	LPAR	2001	DBLP DOI BibTeX RDF	concurrency, Temporal logics, Mazurkiewicz traces
14	Michele Boreale	Symbolic Trace Analysis of Cryptographic Protocols.	ICALP	2001	DBLP DOI BibTeX RDF	formal methods for security protocols, concurrency, spi-calculus
14	David Chen 0002, Chengzheng Sun	Undoing any operation in collaborative graphics editing systems.	GROUP	2001	DBLP DOI BibTeX RDF	undo/redo, distributed computing, concurrency control, consistency maintenance, collaborative editing, graphics editing, multi-versioning
14	François Siewe, Dang Van Hung	Deriving Real-Time Programs from Duration Calculus Specifications.	CHARME	2001	DBLP DOI BibTeX RDF	Continuous specification, discrete design, Hoare triples, concurrency, real-time program, shared variables
14	Sandeep Lodha, Ajay D. Kshemkalyani	A Fair Distributed Mutual Exclusion Algorithm.	IEEE Trans. Parallel Distributed Syst.	2000	DBLP DOI BibTeX RDF	distributed system, Algorithm, concurrency, synchronization, fairness, mutual exclusion
14	Brendan P. Mahony, Jin Song Dong	Timed Communicating Object Z.	IEEE Trans. Software Eng.	2000	DBLP DOI BibTeX RDF	Software/system specification, real-time systems, formal methods, concurrency, CSP, object-oriented modeling, Z
14	Andy J. Wellings, Bob Johnson, Bo Ingvar Sandén, Jörg Kienzle, Thomas Wolf 0013, Stephen Michell	Integrating object-oriented programming and protected objects in Ada 95.	ACM Trans. Program. Lang. Syst.	2000	DBLP DOI BibTeX RDF	concurrency, Ada 95, inheritance anomaly, concurrent object-oriented programming
14	H. C. M. Kleijn, Maciej Koutny	Process Semantics of P/T-Nets with Inhibitor Arcs.	ICATPN	2000	DBLP DOI BibTeX RDF	Causality/partial order theory of concurrency, structure and behaviour of nets, analysis and synthesis
14	Yonglak Sohn, Songchun Moon	Verified Order-Based Transaction Scheduling Scheme for Multilevel Secure Database Management Systems.	DEXA	2000	DBLP DOI BibTeX RDF	Database, Concurrency Control, Covert Channel, Multilevel security
14	Yoshinao Isobe, Kazuhito Ohmaki	A process logic for distributed system synthesis .	APSEC	2000	DBLP DOI BibTeX RDF	process logic, distributed system synthesis, concurrent behavior, interleaving behavior, DS algebra, SP logic, computability, process algebra, process algebra, satisfiability, algebraic specification, concurrency theory
14	Valentin Muresan, Xiaojun Wang 0001, Valentina Muresan, Mircea Vladutiu	Distribution-graph based approach and extended tree growing technique in power-constrained block-test scheduling.	Asian Test Symposium	2000	DBLP DOI BibTeX RDF	distribution-graph based approach, extended tree growing technique, power-constrained block-test scheduling, unequal-length block-test scheduling, power dissipation constraints, test concurrency, assigned power dissipation limits, balanced test power dissipation, least mean square error function, global priority function, system-level test scheduling algorithm, scheduling, VLSI, fault diagnosis, logic testing, high level synthesis, integrated circuit testing, automatic test pattern generation, trees (mathematics), least mean squares methods
14	Patrick Th. Eugster, Rachid Guerraoui, Joe Sventek	Distributed Asynchronous Collections: Abstractions for Publish/Subscribe Interaction.	ECOOP	2000	DBLP DOI BibTeX RDF	publish/ subscribe, concurrency, distribution, Abstraction, collection, asynchrony
14	Stuart Reges	Conservatively radical Java in CS1.	SIGCSE	2000	DBLP DOI BibTeX RDF	Java, Java, concurrency, GUI, CS1
14	Daniel Schulz, Frank Mueller 0001	A thread-aware debugger with an open interface.	ISSTA	2000	DBLP DOI BibTeX RDF	active debugging, open interface, concurrency, debugging, threads
14	Rajeev Joshi, Jayadev Misra	Toward a theory of maximally concurrent programs (shortened version).	PODC	2000	DBLP DOI BibTeX RDF	parallel programs, concurrency
14	Rafael Ramírez 0001, Andrew E. Santosa, Roland H. C. Yap	Concurrent Programming Made Easy.	ICECCS	2000	DBLP DOI BibTeX RDF	constraint-based methodology, temporal constraint logic program, system concurrency, parallel programming, concurrent programming, concurrent systems, declarative specification, concurrent applications
14	Jean Fanchon	Trace Channel Nets.	ICATPN	1999	DBLP DOI BibTeX RDF	Fifo Nets, Coloured Nets, concurrent automata, recognisability, concurrency, asynchronous communication, Mazurkiewicz traces
14	Marcelo P. Fiore, Gian Luca Cattani, Glynn Winskel	Weak Bisimulation and Open Maps.	LICS	1999	DBLP DOI BibTeX RDF	semantics, Concurrency, denotational semantics, categorical models
14	Brian Warboys, Dharini Balasubramaniam, Robert Mark Greenwood, Graham N. C. Kirby, Ken Mayes, Ronald Morrison, David S. Munro	Collaboration and Composition: Issues for a Second Generation Process Language.	ESEC / SIGSOFT FSE	1999	DBLP DOI BibTeX RDF	process-based environments, hyper-programming, concurrency control, persistence, process languages
14	Evaggelia Pitoura, Panos K. Chrysanthis	Scalable Processing of Read-Only Transactions in Broadcast Push.	ICDCS	1999	DBLP DOI BibTeX RDF	push-based delivery, wireless data management, multiversion concurrency control, broadcast, data dissemination, transaction management, client/server systems
14	Miguel Katrib, Damián Fernández, Ernesto Pimentel 0001	Synchronizing Java Threads Using Assertions.	TOOLS (31)	1999	DBLP DOI BibTeX RDF	Java, Concurrency, Synchronization, Object-Oriented, Assertions
14	Carlos Herrero, Javier Oliver 0001	Opject-Oriented Specification with the Parallel Multi-Label-Selective lambda-Calculus.	SOFSEM	1999	DBLP DOI BibTeX RDF	Extensions of $lambda$-calculus, Concurrency, Object-Orientation, Process Algebra
14	Pierre Breguet, Luigi Zaffalon	Railway Scale Model Simulator.	Ada-Europe	1999	DBLP DOI BibTeX RDF	simulation, concurrency, resource management, rendezvous, protected objects, Education and training
14	Jörg Kienzle, Alfred Strohmeier	Shared Recoverable Objects.	Ada-Europe	1999	DBLP DOI BibTeX RDF	Recoverable Objects, Controlled Types, Abort Deferred Regions, Concurrency, Object-Oriented Programming, Transactions, Software Fault Tolerance, Ada 95
14	Injong Rhee	A Modular Algorithm for Resource Allocation.	Distributed Comput.	1998	DBLP DOI BibTeX RDF	Modular construction, Message passing distributed systems, Concurrency, Resource allocation, Dining philosophers
14	Arcot Sowmya, S. Ramesh 0001	Extending Statecharts with Temporal Logic.	IEEE Trans. Software Eng.	1998	DBLP DOI BibTeX RDF	FNLOG, real-time, formal specifications, robotics, Concurrency, temporal logic, specification languages, statecharts, reactive systems, state-machines
14	Hans Fleischhack, Bernd Grahlmann	A Compositional Petri Net Semantics for SDL.	ICATPN	1998	DBLP DOI BibTeX RDF	ARQ protocol, Petri Net Semantics, Concurrency, SDL, Compositionality, Procedures, Infinity, Dynamic Processes
14	Seunghoon Choi, Chisu Wu	Partitioning and Allocation of Objects in Heterogeneous Distributed Environments Using the Niched Pareto Genetic-Algorithm.	APSEC	1998	DBLP DOI BibTeX RDF	Heterogeneous Distributed Environments, the Niched Pareto Genetic Algorithm, Load Balance, Concurrency, Object-orientation, Partitioning, Allocation, Communication Cost, Graph-theoretic Approach
14	Ulrike Lechner	Constructs, Concepts and Criteria for Reuse in Concurrent Object-Oriented languages.	FASE	1998	DBLP DOI BibTeX RDF	Concurrency, Object orientation, Reuse, Interpretation, Rewriting, ?-calculus, Maude, Inheritance Anomaly
14	Paul Ammann, Sushil Jajodia, Indrakshi Ray	Applying Formal Methods to Semantic-Based Decomposition of Transactions.	ACM Trans. Database Syst.	1997	DBLP DOI BibTeX RDF	concurrency control, database management systems, transaction processing
14	Sang Hyuk Son, Robert C. Beckinger, David A. Baker	DRDB: a distributed real-time database server for high-assurance time-critical applications.	COMPSAC	1997	DBLP DOI BibTeX RDF	DRDB, distributed real time database server, high assurance time critical applications, critical tasks, scheduling decisions, concurrency control mechanisms, functional real time database server, operational platform, distributed real time database issues, distributed databases, timing constraints, data consistency, simulated environment, real time database systems, safety critical applications, operating environment
14	Gyu-Tae Kim, Sung Deok Cha, Doo-Hwan Bae	Task.o object modeling approach for robot workcell programming.	COMPSAC	1997	DBLP DOI BibTeX RDF	Task o object modeling approach, robot workcell programming, object oriented programming paradigms, Task object Coupling, ToC programming technique, development steps, concurrency, autonomy, robot programming
14	Franz Puntigam	Coordination Requirements Expressed in Types for Active Objects.	ECOOP	1997	DBLP DOI BibTeX RDF	concurrency, active objects, Type model
14	Shao-Juen Ho, Tei-Wei Kuo, Aloysius K. Mok	Similarity-based load adjustment for real-time data-intensive applications.	RTSS	1997	DBLP DOI BibTeX RDF	similarity-based load adjustment, real-time data-intensive applications, application semantics, semantics-based concurrency control, read events, write events, system workload, transaction skipping, performance, resource allocation, air traffic control, data consistency, simulation experiments, correctness criteria
14	Sonia Mettali Gammar, Farouk Kamoun	A comparison of scheduling algorithms for real time distributed transactional systems.	FTDCS	1997	DBLP DOI BibTeX RDF	real time distributed transactional systems, distributed database update, globally consistent orderings, nonpreemptive earliest deadline first, simulation, distributed databases, concurrency control, consensus, scheduling algorithms, deadlines, serializability, client server, tokens, timeliness, system parameters, database consistency
14	Rob J. van Glabbeek, W. P. Weijland	Branching Time and Abstraction in Bisimulation Semantics.	J. ACM	1996	DBLP DOI BibTeX RDF	process algebra semantic equivalence, concurrency, abstraction, bisimulation, action refinement, branching time
14	Barry C. L. Leung, Peter P. K. Chiu	Behaviour Equation as Solution of Inheritance Anomaly in Concurrent Object-Oriented Programming Languages.	PDP	1996	DBLP DOI BibTeX RDF	behaviour equation, concurrent object-oriented programming languages, synchronisation code reuse, super class, object-based concurrency, parallel programming, object-oriented programming, inheritance, inheritance anomaly, concurrent object
14	Yasuhiro Hirano, Fumiaki Miura, Tetsuji Satoh	Extendible Hashing for Concurrent Insertions and Retrievals.	PDP	1996	DBLP DOI BibTeX RDF	bucket multi-versioning, concurrent insertions, concurrent retrievals, global depth, directory entries, asynchronous modification, lock conflicts, read-only access, split bucket, simulation, concurrency control, multiprocessing systems, configuration management, speedup, file organisation, extendible hashing, processor number
14	David Harel, Eran Gery	Executable Object Modeling with Statecharts.	ICSE	1996	DBLP BibTeX RDF	O-charts, diagrammatic languages, direct invocation, executable object modeling, hierarchical OMT-like language, integrated set, multiple-thread concurrency, object-oriented programming, C++, software tools, statecharts, object-oriented languages, object-oriented systems, active objects
14	Peng-Jun Wan, Allalaghatta Pavan	TWDM Single-Hop Lightwave Networks Using Multiple Fixed Transceivers at Each Station.	LCN	1996	DBLP DOI BibTeX RDF	TWDM single-hop lightwave networks, multiple fixed transceivers, time and wavelength division multiplexing, single mode optical fiber, lightwave networks, optical passive star couplers, general hardware configuration, multiple fixed transmitters, fixed receivers, maximal concurrency, time division multiplexing
14	Evaggelia Pitoura, Bharat K. Bhargava	A Framework for Providing Consistent and Recoverable Agent-Based Access to Heterogeneous in Mobile Databases.	SIGMOD Rec.	1995	DBLP DOI BibTeX RDF	mobile computing, agents, workflow, concurrency control, transactions, recovery, multidatabases
14	David C. Luckham, John J. Kenney, Larry M. Augustin, James Vera, Doug Bryan, Walter Mann	Specification and Analysis of System Architecture Using Rapide.	IEEE Trans. Software Eng.	1995	DBLP DOI BibTeX RDF	partially ordered event sets, formal constraints, constraint-based specification, event patterns, simulation, architecture, concurrency, prototyping, causality, Rapide, architecture definition languages
14	H. Rebecca Callison	A Time-Sensitive Object Model for Real-Time Systems.	ACM Trans. Softw. Eng. Methodol.	1995	DBLP DOI BibTeX RDF	programming techniques, real-time processing models, fault tolerance, concurrency, timing constraints, object models
14	Bernd Dreier, Theo Ungerer	Implementing distributed shared memory based on DCE.	PDP	1995	DBLP DOI BibTeX RDF	DCE, Open Software Foundation, security problems, shared file management, heterogeneous computer network, globally shared address space, translator algorithms, precompiler, parallel programming, parallel programming, concurrency, computer networks, shared memory systems, distributed shared memory, threads, distributed programming, distributed memory systems, file organisation, remote procedure calls, remote procedure calls, runtime system, POSIX, multithreaded programs, Distributed Computing Environment
14	Riccardo Focardi, Roberto Gorrieri, V. Panini	The security checker: a semantics-based tool for the verification of security properties.	CSFW	1995	DBLP DOI BibTeX RDF	security checker, semantics-based tool, security properties verification, security process algebra, concurrency workbench, formal specification, formal verification, specifications, process algebra, confidentiality, security of data, automatic verification
14	Craig Farnsworth, David A. Edwards, Jianwei Liu, Shiv S. Sikand	A hybrid asynchronous system design environment.	ASYNC	1995	DBLP DOI BibTeX RDF	hybrid asynchronous system design environment, hybrid design scheme, asynchronous circuit synthesis, Tangram silicon complier, synchronous design techniques, concurrency, high level synthesis, asynchronous circuits, power reduction, performance gains, micropipelines
14	D. K. Arvind 0001, Robert D. Mullins, Vinod E. F. Rebello	Micronets: a model for decentralising control in asynchronous processor architectures.	ASYNC	1995	DBLP DOI BibTeX RDF	decentralising control, asynchronous processor architectures, micronets, communicating resources, four-phase protocol, hazard avoidance mechanisms, SPICE-level simulations, computer architecture, computer architecture, pipeline processing, processor architectures, fine-grain concurrency
14	Raja Neogi, Meghanad D. Wagh	Parallel processing algorithms and architecture for multimedia on-demand servers.	IPPS	1995	DBLP DOI BibTeX RDF	parallel processing algorithms, parallel processing architecture, multimedia on-demand servers, videotape rental stores, specialized high performance programmable multiprocessor architecture, continuous playback, mediastreams, dynamic phase shifts, media distribution, maximum concurrency extraction, dynamically changing demand, parallel algorithms, networking, parallel architectures, multimedia communication, multimedia computing, distributed environment, interactive video
14	Filip Thoen, Marco Cornero, Gert Goossens, Hugo De Man	Real-time multi-tasking in software synthesis for information processing systems.	ISSS	1995	DBLP DOI BibTeX RDF	automatic processor mapping, automatically generated application-specific solution, concurrent process system specification, flexible execution models, hardware resource utilization, information processing systems, internal representation model, mobile satellite communication, personal terminal receiver demodulator, real-time multi-tasking, static information, time utilization, real-time systems, embedded systems, concurrency control, processor scheduling, timing constraints, computer aided software engineering, software synthesis, multiprocessing programs
14	Robert Haacke, B. Montgomery Pettitt	The scaling of molecular dynamics on the KSR1.	HICSS (5)	1995	DBLP DOI BibTeX RDF	particle based simulation techniques, highly parallelizable, irreproducible trajectories, reproducible simulations, KSR1 parallel computer, parallel algorithms, concurrency, parallel machines, digital simulation, physics, molecular dynamics, physics computing, performance penalty, molecular dynamics method, ESP
14	Zhixue Wu, Ken Moody, Jean Bacon, Robert J. Stroud	Data consistency in a distributed persistent object system.	HICSS (2)	1995	DBLP DOI BibTeX RDF	distributed persistent object system, atomic data type, PC++, conflict relationship, object operations, recovery code, object-oriented programming, data integrity, distributed databases, concurrency control, object-oriented databases, synchronisation, synchronisation, abstract data types, data consistency, persistent system
14	Rainer Weinreich, Reinhold Plösch	Prototyping of parallel and distributed object-oriented systems: the PDC model and its environment.	HICSS (2)	1995	DBLP DOI BibTeX RDF	PDC model, Proxy/Dispatcher/Collocutor technique, operating-system processes, local objects, dynamically bound, machine boundaries, Process-Build, implementation phase, distributed systems, parallel programming, concurrency, prototyping, distributed processing, software tools, parallel systems, object-oriented methods, operating systems (computers), software prototyping, real-time requirements, software life cycle, prototyping tool, distributed object-oriented systems
14	Gregory Butler, Peter Grogono, Rajjan Shinghal, Indra A. Tjandra	Analyzing the logical structure of data flow diagrams in software documents.	ICDAR	1995	DBLP DOI BibTeX RDF	logical structure analysis, Calculus of Communicating Systems, Edinburgh Concurrency Workbench, CWB, deep understanding, equivalence, CCS, document understanding, software documents, flowcharting, formal description, data flow diagrams, data flow diagram
14	Kenneth J. Goldman, Nancy A. Lynch	Quorum Consensus in Nested Transaction Systems.	ACM Trans. Database Syst.	1994	DBLP DOI BibTeX RDF	hierarchical proofs, concurrency control, data replication, I/O automata, nested transactions, quorum consensus
14	François Pacull, Alain Sandoz, André Schiper	Duplex: A Distributed Collaborative Editing Environment in Large Scale.	CSCW	1994	DBLP DOI BibTeX RDF	concurrency control, large scale networks, collaborative editing, distributed groupware
14	Jonathan P. Munson, Prasun Dewan	A Flexible Object Merging Framework.	CSCW	1994	DBLP DOI BibTeX RDF	flexible coupling, merging, versions, undo, optimistic concurrency control, diff
14	Gopi K. Attaluri	An efficient expected cost algorithm for dynamic indexing of spatial objects.	CASCON	1994	DBLP BibTeX RDF	range locking, runtime complexity, indexing, concurrency control, spatial databases
14	Tracy Camp, Phil Kearns, Mohan Ahuja	Proof Rules for Flush Channels.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	flush channels, asynchronous communication constructs, datagrams, receipt-order restrictions, message-by-message basis, Hoare-style partial correctness verification methodology, concurrency, distributed processing, program verification, distributed program, virtual circuits
14	Linda A. Ness	L.0: A Truly Concurrent Executable Temporal Logic Language for Protocols.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	L.0, truly concurrent executable temporal logic language, true concurrency model, execution algorithm, standard imperative programming, state predicates, equality predicates, hierarchical message structure, Futurebus+, simulation, protocols, protocols, specification, temporal logic, specification languages, simulation languages
14	Luis-Felipe Cabrera, John McPherson, Peter M. Schwarz, James C. Wyllie	Implementing Atomicity in Two Systems: Techniques, Tradeoffs, and Experience.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	QuickSilver distributed file system, Starburst relational database manager, atomic properties, mutual consistency, client-server transactions, recoverable data structures, shadow copies, concurrency, relational databases, distributed databases, transaction processing, atomicity, network operating systems, stable storage, transaction systems
14	Paolo Ciancarini	Coordinating Rule-Based Software Processes with ESP.	ACM Trans. Softw. Eng. Methodol.	1993	DBLP DOI BibTeX RDF	multiuser programming environment, concurrency, logic programming, software process, software process modeling, rule-based programming
14	Uri Abraham	On system executions and states.	Appl. Intell.	1993	DBLP DOI BibTeX RDF	Correctness of programs, system execution, cores of executions, global time, semantics of concurrency
14	Richard N. Taylor, Gregory F. Johnson	Separations of concerns in the Chiron-1 user interface development and management system.	INTERCHI	1993	DBLP DOI BibTeX RDF	GUI construction, event-based integration, modularization of UIMS, Ada, concurrency, user interface management systems (UIMS), artists
14	Shmuel S. Tyszberowicz, Amiram Yehudai	OBSERV - A Prototyping Language and Environment.	ACM Trans. Softw. Eng. Methodol.	1992	DBLP DOI BibTeX RDF	CRUISE, interactive programming environments, modeling with finite state machines, static checker, simulator, real time systems, embedded systems, concurrency, logic programming, graphical user interface, software reuse, OBSERV, OBSERV, browsers, object-oriented approach
14	Meichun Hsu, Bin Zhang 0004	Performance Evaluation of Cautious Waiting.	ACM Trans. Database Syst.	1992	DBLP DOI BibTeX RDF	cautious waiting, concurrency control
14	Peter D. Mosses	On the Action Semantics of Concurrent Programming Languages.	REX Workshop	1992	DBLP DOI BibTeX RDF	action notation, semantics, concurrency, synchronization, distributed processing, asynchrony, action semantics
14	Ellen E. Witte, Roger D. Chamberlain, Mark A. Franklin	Parallel Simulated Annealing using Speculative Computation.	IEEE Trans. Parallel Distributed Syst.	1991	DBLP DOI BibTeX RDF	problem independent algorithm, parallel simulated annealingalgorithm, serial decision sequence, task assignment problem, parallel algorithms, concurrency, simulated annealing, processors, hypercube multiprocessor, speculative computation
14	Nicholas Bambos, Jean C. Walrand	On Stability and Performance of Parallel Processing Systems.	J. ACM	1991	DBLP DOI BibTeX RDF	stability theory, subadditive ergodic theory, parallel processing, queueing theory, queueing networks, database concurrency control
14	Thomas A. Henzinger, Zohar Manna, Amir Pnueli	Timed Transition Systems.	REX Workshop	1991	DBLP DOI BibTeX RDF	real time, concurrency, Transition systems
14	Serge Lacourte	Exceptions in Guide, an Object-Oriented Language for Distributed Applications.	ECOOP	1991	DBLP DOI BibTeX RDF	concurrency, consistency, object-oriented languages, exceptions
14	Satoshi Matsuoka, Takuo Watanabe, Akinori Yonezawa	Hybrid Group Reflective Architecture for Object-Oriented Concurrent Reflective Programming.	ECOOP	1991	DBLP DOI BibTeX RDF	Object-Based Concurrency, Resource Management, Reflection, Actors, Virtual Time, Object Groups
14	Glenn S. Benson, Ian F. Akyildiz, William F. Appelbe	A Formal Protection Model of Security in Centralized, Parallel, and Distributed Systems.	ACM Trans. Comput. Syst.	1990	DBLP DOI BibTeX RDF	protection model, access control, concurrency control, distributed system security, operating system security
14	David M. Goldschlag	Mechanically Verifying Concurrent Programs with the Boyer-Moore Prover.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	mechanically verifying concurrent programs, Boyer-Moore prover, transition system model, parallel programming, distributed algorithm, concurrency, theorem proving, program verification, safety, encoding, encoding, operational semantics, inference mechanisms, liveness, inference rules, proof system, Unity
14	Gul Agha	The Structure and Semantics of Actor Languages.	REX Workshop	1990	DBLP DOI BibTeX RDF	Programming Language Theory, Concurrent Programming Structures, Distributed Systems, Concurrency, Object-Oriented Programming, Actors, Multiprocessor Architectures
14	Bernhard Klaassen	A Hierarchical Multirate Method for Circuit Simulation on Parallel Computers.	ICCI	1990	DBLP DOI BibTeX RDF	Electrical circuit simulation, multirate integration, multilevel Newton method, concurrency
14	Anne F. Brindle, Richard N. Taylor, David F. Martin	A Debugger for Ada Tasking.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	Ada debugger, tasking constructs, single-processor Ada interpreter, sequential debugging, dynamic execution status, parallel programming, parallel programming, Ada, concurrency, program debugging, program interpreters, Ada tasking
14	Raphael A. Finkel, Michael L. Scott, Yeshayahu Artsy, Hung-Yang Chang	Experience with Charlotte: Simplicity and Function in a Distributed Operating System.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	Charlotte distributed operating system, computation-intensive problems, large-grain parallelism, Crystal multicomputer, VAX-11/750 computers, kernel/process interface, bidirectional communication paths, synchronous nonblocking communications, multitask kernel, absolute distributed information, high-level tools, Lynx distributed programming language, kernal primitives, concurrency, abstraction, finite-state machines, local area network, local area networks, operating systems (computers), software packages, multiprocessing programs, computer communications software
14	Norman R. Howes, Alfred C. Weaver	Measurements of Ada Overhead in OSI-Style Communications Systems.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	OSI-style communications systems, Ada model, seven-layer OSI reference model, single-processor machines, VAX 11/785, Rational 1000, expected message delay, novel model, server tasks, eight-processor Sequent Model 821, 14-processor Encore Multimax 320, Buhr model, server task model, Ada rendezvous, Ada overhead per message, parallel programming, Ada, concurrency, standards, computer networks, open systems, communications model, procedure calls
14	Robert A. Mueller, Michael R. Duda, Philip H. Sweany, Jack S. Walicki	Horizon: A Retargetable Compiler for Horizontal Microarchitectures.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	horizontal microarchitectures, vertical migration, complex application code, horizontal microcode, optimized microcode, concurrency, abstraction, timing, program compilers, microprogramming, retargetable compiler, assembly languages, Horizon
14	Bao-Chyuan Jenq, Walter H. Kohler, Donald F. Towsley	A Queueing Network Model for a Distributed Database Testbed System.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	distributed database testbed system, transaction workload, transaction recovery protocol, write-ahead logging, centralized two-phase commit, protocols, distributed databases, queueing theory, program testing, system recovery, queueing network model, two-phase locking, commit protocol, distributed deadlock detection, concurrency control protocol