Search results for "deadlocking"

Found 16 publication records. Showing 16 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
58	Jirí Srba	Deadlocking States in Context-Free Process Algebra.	MFCS	1998	DBLP DOI BibTeX RDF
47	Saddek Bensalem, Jean-Claude Fernandez, Klaus Havelund, Laurent Mounier	Confirmation of deadlock potentials detected by runtime analysis.	PADTAD	2006	DBLP DOI BibTeX RDF	scheduler synthesis, Java, testing, multi-threading, false positives, deadlock detection, dynamic program analysis
47	Lisbeth Fajstrup, Eric Goubault, Martin Raußen	Detecting Deadlocks in Concurrent Systems.	CONCUR	1998	DBLP DOI BibTeX RDF
36	Wilfried Brauer, Robert Gold, Walter Vogler	A survey of behaviour and equivalence preserving refinements of Petri nets.	Applications and Theory of Petri Nets	1989	DBLP DOI BibTeX RDF	place/transition net, history preserving bisimulation, Petri net, refinement, deadlocking, liveness, Concurrent system, interval order, partial order semantics, safeness, top-down design, failures semantics
35	Walenty Oniszczuk	Blocking and Deadlocking Phenomena in Two-Server Tandem Configuration with Optional Feedback - Modeling and Parameter Sensitivity Investigation.	CISIM	2016	DBLP DOI BibTeX RDF
35	Christian Eggermont, Gerhard J. Woeginger	Reachability and Deadlocking Problems in Multi-stage Scheduling.	RP	2011	DBLP DOI BibTeX RDF
35	Niels Lohmann	Correcting Deadlocking Service Choreographies Using a Simulation-Based Graph Edit Distance.	BPM	2008	DBLP DOI BibTeX RDF	graph correction, correction of services, verification of services, service automata, BPEL, Choreographies, operating guidelines
35	Jirí Srba	Basic process algebra with deadlocking states.	Theor. Comput. Sci.	2001	DBLP DOI BibTeX RDF
35	Meng-Lin Yu, Sumit Ghosh, Erik DeBenedictis	A provably correct, non-deadlocking parallel event simulation algorithm.	Annual Simulation Symposium	1991	DBLP DOI BibTeX RDF
35	Walter Vogler	Failures Semantics and Deadlocking of Modular Petri Nets.	Acta Informatica	1989	DBLP DOI BibTeX RDF
35	Walter Vogler	Failures Semantics and Deadlocking of Modular Petri Nets.	MFCS	1988	DBLP DOI BibTeX RDF
23	Javier Cámara, José Antonio Martín, Gwen Salaün, Javier Cubo, Meriem Ouederni, Carlos Canal, Ernesto Pimentel 0001	ITACA: An integrated toolbox for the automatic composition and adaptation of Web services.	ICSE	2009	DBLP DOI BibTeX RDF
23	Olav Lysne, José Miguel Montañana, José Flich, José Duato, Timothy Mark Pinkston, Tor Skeie	An Efficient and Deadlock-Free Network Reconfiguration Protocol.	IEEE Trans. Computers	2008	DBLP DOI BibTeX RDF	Interconnections (Subsystems), Topology, I/O and Data Communications
23	Michael Leuschel, Thierry Massart, Andrew Currie	How to Make FDR Spin LTL Model Checking of CSP by Refinement.	FME	2001	DBLP DOI BibTeX RDF
23	Antti Puhakka	Weakest Congruence Results Concerning "Any-Lock".	TACS	2001	DBLP DOI BibTeX RDF
23	Yonit Kesten, Amit Klein 0001, Amir Pnueli, Gil Raanan	A Perfect Verification: Combining Model Checking with Deductive Analysis to Verify Real-Life Software.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF