Search results for "deadlock"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
20	ZhiWu Li 0001, MengChu Zhou, MuDer Jeng	A Maximally Permissive Deadlock Prevention Policy for FMS Based on Petri Net Siphon Control and the Theory of Regions.	IEEE Trans Autom. Sci. Eng.	2008	DBLP DOI BibTeX RDF
20	Roberto Bruni, Leonardo Gaetano Mezzina	Types and Deadlock Freedom in a Calculus of Services, Sessions and Pipelines.	AMAST	2008	DBLP DOI BibTeX RDF
20	Kohei Suenaga	Type-Based Deadlock-Freedom Verification for Non-Block-Structured Lock Primitives and Mutable References.	APLAS	2008	DBLP DOI BibTeX RDF
20	Jun Shirako, David M. Peixotto, Vivek Sarkar, William N. Scherer III	Phasers: a unified deadlock-free construct for collective and point-to-point synchronization.	ICS	2008	DBLP DOI BibTeX RDF	barriers, semaphores
20	Spyros A. Reveliotis, Elzbieta Roszkowska, Jin Young Choi 0001	Generalized Algebraic Deadlock Avoidance Policies for Sequential Resource Allocation Systems.	ICRA	2007	DBLP DOI BibTeX RDF
20	César Sánchez 0001, Henny B. Sipma, Zohar Manna	Generating Efficient Distributed Deadlock Avoidance Controllers.	IPDPS	2007	DBLP DOI BibTeX RDF
20	Dominique Duhaut, Elian Carrillo, Sébastien Saint-Aimé	Avoiding deadlock in multi-agent systems.	SMC	2007	DBLP DOI BibTeX RDF
20	Peter T. Breuer, Simon Pickin 0001, María M. Larrondo-Petrie	Detecting Deadlock, Double-Free and Other Abuses in a Million Lines of Linux Kernel Source.	SEW	2006	DBLP DOI BibTeX RDF
20	Peter T. Breuer, Simon Pickin 0001	Checking for Deadlock, Double-Free and Other Abuses in the Linux Kernel Source Code.	International Conference on Computational Science (4)	2006	DBLP DOI BibTeX RDF
20	Ming Li, Qing-An Zeng, Wen-Ben Jone	DyXY: a proximity congestion-aware deadlock-free dynamic routing method for network on chip.	DAC	2006	DBLP DOI BibTeX RDF	network-on-chip, theory, packet routing, queuing
20	Biniam Gebremichael, Frits W. Vaandrager, Miaomiao Zhang, Kees Goossens, Edwin Rijpkema, Andrei Radulescu	Deadlock Prevention in the Æthereal Protocol.	CHARME	2005	DBLP DOI BibTeX RDF
20	Bharath N, Nagaraju Bussa	Artificial Deadlock Detection in Process Networks for ECLIPSE.	ASAP	2005	DBLP DOI BibTeX RDF
20	ZhiWu Li 0001, MengChu Zhou	Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems.	IEEE Trans. Syst. Man Cybern. Part A	2004	DBLP DOI BibTeX RDF
20	Gang Wu, ZhiQiang Tang, Shi-liang Tu	A New Approach to Deadlock Avoidance in Embedded System.	ICESS	2004	DBLP DOI BibTeX RDF
20	Behzad Bordbar, Kozo Okano	Testing Deadlock-Freeness in Real-Time Systems: A Formal Approach.	FATES	2004	DBLP DOI BibTeX RDF
20	Yi-Sheng Huang, Jenn-Huei Lin, Chien-Nin Hsu	Comparison of deadlock prevention policies in FMS based on Petri nets siphons.	SMC (5)	2004	DBLP DOI BibTeX RDF
20	Yau-Ming Sun, Chih-Hsueh Yang, Yeh-Ching Chung, Tai-Yi Huang	An Efficient Deadlock-Free Tree-Based Routing Algorithm for Irregular Wormhole-Routed Networks Based on the Turn Model	ICPP	2004	DBLP DOI BibTeX RDF
20	Satoshi Taoka, Shinji Furusato, Toshimasa Watanabe	A Heuristic Algorithm FSDC Based on Avoidance of Deadlock Components in Finding Legal Firing Sequences of Petri Nets.	ICATPN	2003	DBLP DOI BibTeX RDF
20	SungHo Cho	A Hybrid Concurrency Control with Deadlock-free Approach.	ICCSA (2)	2003	DBLP DOI BibTeX RDF
20	Susumu Horiguchi, Yasuyuki Miura	Performance of Deadlock-Free Adaptive Routing for Hierarchical Interconnection Network TESH.	DFT	2002	DBLP DOI BibTeX RDF
20	Yusuke Nonaka, Kazuo Ushijima, Hibiki Serizawa, Shigeru Murata, Jingde Cheng	A Run-Time Deadlock Detector for Concurrent Java Programs.	APSEC	2001	DBLP DOI BibTeX RDF
20	Pedro López 0001, José Flich, José Duato	Deadlock-Free Routing in InfiniBand through Destination Renaming.	ICPP	2001	DBLP DOI BibTeX RDF
20	Toshinori Takabatake, Masato Kitakami, Hideo Ito	Escape and Restoration Routing: Suspensive Deadlock Recovery in Interconnection Networks.	PRDC	2001	DBLP DOI BibTeX RDF
20	Paola Inverardi, Sebastián Uchitel	Proving Deadlock Freedom in Component-Based Programming.	FASE	2001	DBLP DOI BibTeX RDF
20	Ingebjørg Theiss, Olav Lysne	Deadlock Avoidance for Wormhole Based Switches.	Euro-Par	2000	DBLP DOI BibTeX RDF
20	Victor Khomenko, Maciej Koutny	LP Deadlock Checking Using Partial Order Dependencies.	CONCUR	2000	DBLP DOI BibTeX RDF
20	Naoki Kobayashi 0001, Shin Saito, Eijiro Sumii	An Implicitly-Typed Deadlock-Free Process Calculus.	CONCUR	2000	DBLP DOI BibTeX RDF
20	Stephan Melzer, Stefan Römer	Deadlock Checking Using Net Unfoldings.	CAV	1997	DBLP DOI BibTeX RDF
20	Bülent Abali	A Deadlock Avoidance Method for Computer Networks.	CANPC	1997	DBLP DOI BibTeX RDF
20	Jean-Claude Bermond, Miriam Di Ianni, Michele Flammini, Stephane Perennes	Acyclic Orientations for Deadlock Prevention in Interconnection Networks (Extended Abstract).	WG	1997	DBLP DOI BibTeX RDF	communication in interconnection networks, routing, parallel algorithms, graph theory, computational and structural complexity
20	Yungho Choi, Timothy Mark Pinkston	Crossbar Analysis for Optimal Deadlock Recovery Router Architecture.	IPPS	1997	DBLP DOI BibTeX RDF
20	José Duato, Pedro López 0001, Sudhakar Yalamanchili	Deadlock- and Livelock-Free Routing Protocols for Wave Switching.	IPPS	1997	DBLP DOI BibTeX RDF
20	James C. Corbett	Evaluating Deadlock Detection Methods for Concurrent Software.	IEEE Trans. Software Eng.	1996	DBLP DOI BibTeX RDF	Concurrency analysis, inequality necessary conditions, empirical evaluation, symbolic model checking, state space reduction, Ada tasking
20	P. Krishna Reddy, Subhash Bhalla	Deadlock Prevention in a Distributed Database System.	SIGMOD Rec.	1993	DBLP DOI BibTeX RDF
20	Peter Kemper	Linear Time Algorithm to Find a Minimal Deadlock in a Strongly Connected Free-Choice Net.	Application and Theory of Petri Nets	1993	DBLP DOI BibTeX RDF
20	Sastry Duri, Ugo A. Buy, R. Devarapalli, Sol M. Shatz	Using State Space Reduction Methods for Deadlock Analysis in Ada Tasking.	ISSTA	1993	DBLP DOI BibTeX RDF	Ada
20	Pedro López 0001, José Duato	Deadlock-Free Adaptive Routing Algorithms for the 3D-Torus: Limitations and Solutions.	PARLE	1993	DBLP DOI BibTeX RDF
20	Ziqiang Liu, José Duato, Lars-Erik Thorelli	Grouping Virtual Channels for Deadlock-Free Adaptive Wormhole Routing.	PARLE	1993	DBLP DOI BibTeX RDF
20	Luca Aceto, Matthew Hennessy	Termination, Deadlock, and Divergence.	J. ACM	1992	DBLP DOI BibTeX RDF
20	Jean-Marc Adamo, N. Alhafez	Minimal, Adaptive and Deadlock-Free Routing for Multiprocessors.	CONPAR	1992	DBLP DOI BibTeX RDF
20	José Duato	Deadlock-free adaptive routing algorithms for multicomputers: evaluation of a new algorithm.	SPDP	1991	DBLP DOI BibTeX RDF
20	Francis Chi-Moon Lau, S. W. Lau	Propagating buffer: a new approach to deadlock freedom in store-and-forward networks.	SPDP	1991	DBLP DOI BibTeX RDF
20	Yoram Ofek, Moti Yung	Efficient Mechanism for Fairness and Deadlock-Avoidance in High-Speed Networks.	WDAG	1990	DBLP DOI BibTeX RDF
20	Léon Mugwaneza, Traian Muntean, Ibrahima Sakho	A Deadlock Free Routing Algorithm with Network Size Independent Buffering Space.	CONPAR	1990	DBLP DOI BibTeX RDF
20	J. Kent Peacock	Deadlock Avoidance in Loosely-Coupled Multiprocessors with Finite Buffer Pools.	ACM SIGOPS Oper. Syst. Rev.	1989	DBLP DOI BibTeX RDF
20	Marta Rukoz	A Distributed Solution for Detecting Deadlock in Distributed Nested Transaction Systems.	WDAG	1989	DBLP DOI BibTeX RDF	distributed computation, distributed databases, deadlocks, distributed transactions, nested transactions
20	Luca Aceto, Matthew Hennessy	Termination, Deadlock and Divergence.	Mathematical Foundations of Programming Semantics	1989	DBLP DOI BibTeX RDF
20	Marina Roesler, Walter A. Burkhard	Deadlock Resolution and Semantic Lock Models in Object-Oriented Distributed Systems.	SIGMOD Conference	1988	DBLP DOI BibTeX RDF
20	Udo Kelter	The Queue Protocol: A Deadlock-free Homogeneous Non-Two-Phase Locking Protocol.	PODS	1988	DBLP DOI BibTeX RDF
20	Claudio Arbib, Giuseppe F. Italiano, Alessandro Panconesi	Predicting deadlock in Store-and-Forward Networks.	FSTTCS	1988	DBLP DOI BibTeX RDF
20	Ferenc Belik	A Distributed Deadlock Avoidance Technique.	WDAG	1987	DBLP DOI BibTeX RDF
20	Dushan Z. Badal	The Distributed Deadlock Detection Algorithm.	ACM Trans. Comput. Syst.	1986	DBLP DOI BibTeX RDF
20	Joseph Y.-T. Leung, Burkhard Monien	On the Complexity of Deadlock Recovery.	STACS	1985	DBLP DOI BibTeX RDF
20	Henry F. Korth, Ravi Krishnamurthy, Anil Nigam, John T. Robinson	A Framework for Understanding Distributed (Deadlock Detection) Algorithms.	PODS	1983	DBLP DOI BibTeX RDF
20	Ron Obermarck	Distributed Deadlock Detection Algorithm.	ACM Trans. Database Syst.	1982	DBLP DOI BibTeX RDF
20	Tiko Kameda	Testing Deadlock-Freedom of Computer Systems.	J. ACM	1980	DBLP DOI BibTeX RDF
19	Peter Grogono, Nima Jafroodi	A fair protocol for non-deterministic message passing.	C3S2E	2010	DBLP DOI BibTeX RDF	communication, concurrency, fairness, message passing, deadlock
19	John D. Carter, William B. Gardner, Gary Gréwal	The pilot library for novice MPI programmers.	PPoPP	2010	DBLP DOI BibTeX RDF	cluster programming, c, high-performance computing, deadlock detection, mpi, collective operations
19	Ya-Shu Chen, Li-Pin Chang	A real-time configurable synchronization protocol for self-suspending process sets.	Real Time Syst.	2009	DBLP DOI BibTeX RDF	Resource synchronization protocol, Priority ceiling, Real-time systems, Deadlock prevention
19	Eerke A. Boiten, John Derrick, Gerhard Schellhorn	Relational concurrent refinement part II: Internal operations and outputs.	Formal Aspects Comput.	2009	DBLP DOI BibTeX RDF	Process algebraic semantics, Failures-divergences refinement, Internal operations, Mechanisation, KIV, Simulations, Deadlock, Z, Data refinement, Outputs
19	Kawtar Benghazi Akhlaki, Miguel J. Hornos, Manuel Noguera	Towards Compositional Verification in MEDISTAM-RT Methodological Framework.	IWANN (2)	2009	DBLP DOI BibTeX RDF	Real-time, Communication Protocols, Deadlock-freeness
19	Kunal Agrawal, I-Ting Angelina Lee, Jim Sukha	Safe open-nested transactions through ownership.	PPoPP	2009	DBLP DOI BibTeX RDF	abstract serializability, open-nested transactions, ownership-aware transactions, safe nesting, semantic deadlock, serializability by modules, transactional memory semantics, xmodules, semantics, transactional memory, ownership types
19	Chinmay Eishan Kulkarni, Osman S. Unsal, Adrián Cristal, Eduard Ayguadé, Mateo Valero	Turbocharging boosted transactions or: how i learnt to stop worrying and love longer transactions.	PPoPP	2009	DBLP DOI BibTeX RDF	parallel programming, concurrency, transactional memory, deadlocks, deadlock-detection
19	Ye Zhou, Edward A. Lee	Causality interfaces for actor networks.	ACM Trans. Embed. Comput. Syst.	2008	DBLP DOI BibTeX RDF	behavioral types, interfaces, deadlock, data flow, causality, Actors, synchronous languages, timed systems, discrete-event models
19	Maurizio Palesi, Giuseppe Longo, Salvatore Signorino, Rickard Holsmark, Shashi Kumar, Vincenzo Catania	Design of Bandwidth Aware and Congestion Avoiding Efficient Routing Algorithms for Networks-on-Chip Platforms.	NOCS	2008	DBLP DOI BibTeX RDF	Application Specific Routing, Network on Chip, Routing Algorithm, Deadlock, Congestion, Router Design
19	Michihiro Koibuchi, Hiroki Matsutani, Hideharu Amano, Timothy Mark Pinkston	A Lightweight Fault-Tolerant Mechanism for Network-on-Chip.	NOCS	2008	DBLP DOI BibTeX RDF	fault tolerance, reliability, Network-on-Chip, routing algorithm, deadlock avoidance, on-chip network
19	Mathias Kohler, Andreas Schaad	Avoiding Policy-based Deadlocks in Business Processes.	ARES	2008	DBLP DOI BibTeX RDF	Security, Access Control, Business Process, Deadlock Avoidance
19	Daniel Gómez 0002, Jesús A. Trujillo, Enrique Baeyens, Eduardo Julio Moya de la Moya	Analysis of Production Systems Using the VS-Diagram.	DCAI	2008	DBLP DOI BibTeX RDF	FPM, VS Diagram, Petri Nets, Deadlock, Production Systems, PLC
19	Grzegorz Bocewicz, Robert Wójcik, Zbigniew Antoni Banaszak	Agvs Distributed Control Subject to Imprecise Operation Times.	KES-AMSTA	2008	DBLP DOI BibTeX RDF	scheduling, fuzzy set, knowledge engineering, constraints logic programming, deadlock avoidance
19	Edya Ladan-Mozes, Charles E. Leiserson	A consistency architecture for hierarchical shared caches.	SPAA	2008	DBLP DOI BibTeX RDF	mapping collision, message race, progressive protocol, memory hierarchy, deadlock, sequential consistency, cache consistency, shared caches, fat-tree
19	Jan A. Bergstra, Cornelis A. Middelburg	Thread algebra for strategic interleaving.	Formal Aspects Comput.	2007	DBLP DOI BibTeX RDF	Interleaving strategies, Services, Threads, Multi-threading, Deadlock freedom, Thread algebra
19	Luca de Alfaro, Vishwanath Raman, Marco Faella, Rupak Majumdar	Code aware resource management.	EMSOFT	2005	DBLP DOI BibTeX RDF	scheduling, deadlock avoidance, code analysis
19	Quan Lu, Maged M. Dessouky, Robert C. Leachman	Modeling train movements through complex rail networks.	ACM Trans. Model. Comput. Simul.	2004	DBLP DOI BibTeX RDF	modeling, Trains, deadlock, dispatching
19	M. M. Hafizur Rahman, Susumu Horiguchi	High Performance Hierarchical Torus Network under Matrix Transpose Traffic Patterns.	ISPAN	2004	DBLP DOI BibTeX RDF	HTN, matrix transpose traffic pattern, dynamic communication performance, deadlock-free routing
19	Jipeng Zhou, Francis C. M. Lau 0001	Adaptive Fault-Tolerant Wormhole Routing with Two Virtual Channels in 2D Meshes.	ISPAN	2004	DBLP DOI BibTeX RDF	adaptive fault-tolerant rout-ing, disjoint fault-connected regions, wormhole routing, Virtual channel, deadlock freedom
19	Mark J. Karol, S. Jamaloddin Golestani, David Lee	Prevention of deadlocks and livelocks in lossless backpressured packet networks.	IEEE/ACM Trans. Netw.	2003	DBLP DOI BibTeX RDF	backpressure, livelock prevention, lossless networks, congestion control, deadlock prevention, bounded delay
19	Jesús E. Villadangos, Federico Fariña, José Ramón González de Mendívil, José Ramón Garitagoitia, Alberto Córdoba	A Safe Algorithm for Resolving OR Deadlocks.	IEEE Trans. Software Eng.	2003	DBLP DOI BibTeX RDF	Deadlock detection/resolution, OR request model, distributed systems, distributed algorithms
19	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
19	Spyros A. Reveliotis	On the Siphon-Based Characterization of Liveness in Sequential Resource Allocation Systems.	ICATPN	2003	DBLP DOI BibTeX RDF	sequential resource allocation systems, Petri net structural analysis, siphons, deadlock resolution
19	Marc Geilen, Twan Basten	Requirements on the Execution of Kahn Process Networks.	ESOP	2003	DBLP DOI BibTeX RDF	Kahn Principle, multi-processor architectures, streaming, signal processing, dynamic scheduling, media processing, Kahn process networks, deadlock resolution
19	Elvira Baydal, Pedro López 0001, José Duato	Increasing the Adaptivity of Routing Algorithms for k-ary n-cubes.	PDP	2002	DBLP DOI BibTeX RDF	deadlock handling, performance evaluation, adaptive routing, wormhole switching
19	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
19	Akiya Jouraku, Michihiro Koibuchi, Hideharu Amano, Akira Funahashi	Routing Algorithms Based on 2D Turn Model for Irregular Networks.	ISPAN	2002	DBLP DOI BibTeX RDF	up/down routing, turn model based routing, traffic balancing, simulation, irregular network, deadlock-free
19	Ge-Ming Chiu	The Odd-Even Turn Model for Adaptive Routing.	IEEE Trans. Parallel Distributed Syst.	2000	DBLP DOI BibTeX RDF	mesh, deadlock, wormhole routing, Adaptive routing, turn model
19	Young-Joo Suh, Binh Vien Dao, José Duato, Sudhakar Yalamanchili	Software-Based Rerouting for Fault-Tolerant Pipelined Communication.	IEEE Trans. Parallel Distributed Syst.	2000	DBLP DOI BibTeX RDF	E-cube routing, livelock freedom, fault tolerance, interconnection networks, multiprocessors, adaptive routing, wormhole switching, oblivious routing, deadlock freedom, virtual cut-through switching
19	Federico Silla, José Duato	High-Performance Routing in Networks of Workstations with Irregular Topology.	IEEE Trans. Parallel Distributed Syst.	2000	DBLP DOI BibTeX RDF	adaptive routing, Networks of workstations, wormhole switching, deadlock avoidance, irregular topologies
19	Xicheng Liu, Sijing Zhang, Timothy J. Li	A Cost-Effective Load Balanced Adaptive Routing Scheme for Mesh-Connected Networks.	MASCOTS	2000	DBLP DOI BibTeX RDF	VBMAR, Crossed turn model, Load balance, Adaptive routing, Virtual channel, Network performance, Deadlock freedom
19	Peter H. Welch, Jeremy M. R. Martin	A CSP Model for Java Multithreading.	PDSE	2000	DBLP DOI BibTeX RDF	race hazard, JCSP, security, Java, model checking, verification, monitors, CSP, deadlock, threads, FDR, livelock
19	Rajeev Alur, Kousha Etessami, Mihalis Yannakakis	Inference of message sequence charts.	ICSE	2000	DBLP DOI BibTeX RDF	concurrent state machines, synthesis, scenarios, message sequence charts, realizability, deadlock freedom
19	Vara Varavithya, Prasant Mohapatra	Asynchronous Tree-Based Multicasting in Wormhole-Switched MINs.	IEEE Trans. Parallel Distributed Syst.	1999	DBLP DOI BibTeX RDF	Asynchronous tree-based multicasting, deadlock configurations, multicast routing algorithm, multistage interconnection networks, wormhole switching
19	Sugath Warnakulasuriya, Timothy Mark Pinkston	Characterization of Deadlocks in Irregular Networks.	ICPP	1999	DBLP DOI BibTeX RDF	deadlock characterization, non-atomic buffer allocation, Interconnection networks, adaptive routing, irregular topology
19	W. Stephen Lacy, José Cruz-Rivera, D. Scott Wills	The Offset Cube: A Three-Dimensional Multicomputer Network Topology Using Through-Wafer Optics.	IEEE Trans. Parallel Distributed Syst.	1998	DBLP DOI BibTeX RDF	MPP networks, ultra-compact systems, offset cube, 3D packaging, through-wafer signaling, adaptive routing, optical interconnect, deadlock freedom, 3D mesh
19	Eric Y. T. Juan, Jeffrey J. P. Tsai, Tadao Murata	Compositional Verification of Concurrent Systems Using Petri-Net-Based Condensation Rules.	ACM Trans. Program. Lang. Syst.	1998	DBLP DOI BibTeX RDF	deadlock states, reachable markings, Petri nets, reachability analysis, compositional verification, boundedness, reachability graphs
19	Pao-Ann Hsiung	Parallel Object-Oriented Synthesis Environment Based On Message-Passing.	TOOLS (27)	1998	DBLP DOI BibTeX RDF	Object-Oriented Synthesis, Emptiness, Message-Passing, Deadlock, Parallel Design
19	Mahamed Adda	A Scalable Multibus Configuration for Connecting Transputer Links.	IEEE Trans. Parallel Distributed Syst.	1997	DBLP DOI BibTeX RDF	CSMA/CD protocol, scalability, latency, deadlock, packet routing, Transputers, virtual cut-through
19	Kamel Barkaoui, Claude Kaiser, Jean-François Pradat-Peyre	Petri nets based proofs of Ada 95 solution for preference control.	APSEC	1997	DBLP DOI BibTeX RDF	Petri nets based proofs, preference control, dining philosophers paradigm, entry families, requeue statements, Petri nets, deadlock, colored Petri nets, Ada 95, correctness proofs, starvation, protected objects
19	James B. Hiller, Thomas C. Hartrum	Conservative Synchronization in Object-Oriented Parallel Battlefield Discrete Event Simulations.	Workshop on Parallel and Distributed Simulation	1997	DBLP DOI BibTeX RDF	execution time savings, generic simulation attributes, logical correctness, null message algorithm, parallel battlefield discrete event simulations, simulation system design, spatially decomposed simulation, deadlock, military computing, performance gain, object-oriented simulation, load imbalance, conservative synchronization
19	Gerardo Lamastra, Giuseppe Lipari, Giorgio C. Buttazzo, Antonino Casile, Fabio Conticelli	HARTIK 3.0: a portable system for developing real-time applications.	RTCSA	1997	DBLP DOI BibTeX RDF	HARTIK 3.0, soft multimedia, Intel 80/spl times/86 processors, DEC Alpha AXP-PCI-33, bounded blocking time, chained blocking, time bounded communication paradigm, distributed systems, embedded systems, predictability, deadlock, timing constraints, portability, toolkit, dynamic scheduling, real-time applications, software portability, microcontrollers, application designer, portable system
19	Axel Wabenhorst, John Potter	Modelling Multi-Threading in Java.	TOOLS (25)	1997	DBLP DOI BibTeX RDF	Java, formal methods, refinement, objects, deadlock, multi-threading, action systems
19	Eric Y. T. Juan, Jeffrey J. P. Tsai, Tadao Murata	A new compositional method for condensed state-space verification.	HASE	1996	DBLP DOI BibTeX RDF	compositional method, condensed state-space verification, large-scale systems analysis, condensation rules, tightly coupled modules, reachable marking detection, Petri nets, program verification, reachability analysis, concurrent systems, compositional verification, deadlock detection, dynamic behavior, dynamic properties, state space explosion