Search results for "concurrent"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
28	Rung-Hung Gau, Zygmunt J. Haas	Concurrent search of mobile users in cellular networks.	IEEE/ACM Trans. Netw.	2004	DBLP DOI BibTeX RDF	concurrent search, probabilistic location information, cellular networks
28	Paul C. Attie, Anish Arora, E. Allen Emerson	Synthesis of fault-tolerant concurrent programs.	ACM Trans. Program. Lang. Syst.	2004	DBLP DOI BibTeX RDF	fault-tolerance, specification, temporal logic, Concurrent programs, program synthesis
28	Konstantinos Sagonas, Jesper Wilhelmsson	Message analysis-guided allocation and low-pause incremental garbage collection in a concurrent language.	ISMM	2004	DBLP DOI BibTeX RDF	incremental and real-time garbage collection, thread-local heaps, Erlang, concurrent languages
28	Jan Christiansen, Frank Huch	Searching for deadlocks while debugging concurrent haskell programs.	ICFP	2004	DBLP DOI BibTeX RDF	concurrent haskell, detecting deadlocks, debugging, deadlock
28	Gabriel Ciobanu, Dorel Lucanu	Specification and Verification of Synchronizing Concurrent Objects.	IFM	2004	DBLP DOI BibTeX RDF	hidden algebra, model checking, integration, temporal logics, Algebraic specification, concurrent systems, CCS, object-oriented specification
28	Nikhil Joshi, Kaijie Wu 0001, Ramesh Karri	Concurrent Error Detection Schemes for Involution Ciphers.	CHES	2004	DBLP DOI BibTeX RDF	Involutional ciphers, KHAZAD, Fault Tolerance, Concurrent Error Detection (CED)
28	Zbigniew Suraj, Krzysztof Pancerz	A Synthesis of Concurrent Systems: A Rough Set Approach.	RSFDGrC	2003	DBLP DOI BibTeX RDF	minimal rules, Information systems, knowledge discovery, coloured Petri nets, concurrent systems
28	Yoav Ossia, Ori Ben-Yitzhak, Irit Goft, Elliot K. Kolodner, Victor Leikehman, Avi Owshanko	A Parallel, Incremental and Concurrent GC for Servers.	PLDI	2002	DBLP DOI BibTeX RDF	Java, garbage collection, JVM, concurrent garbage collection, weak ordering, incremental garbage collection
28	Rainer Dorsch, Ramón Huerta Rivera, Hans-Joachim Wunderlich, Martin Fischer	Adapting an SoC to ATE Concurrent Test Capabilities.	ITC	2002	DBLP DOI BibTeX RDF	ATE, SoC Test, Concurrent Test, Test Resource Partitioning
28	Sudipto Ghosh	Towards Measurement of Testability of Concurrent Object-Oriented Programs Using Fault Insertion: A Preliminary Investigation.	SCAM	2002	DBLP DOI BibTeX RDF	Java, software testing, Concurrent programs, testability, faults, mutation analysis, test adequacy
28	Shane Sendall, Alfred Strohmeier	Specifying Concurrent System Behavior and Timing Constraints Using OCL and UML.	UML	2001	DBLP DOI BibTeX RDF	Software System Specification, Unified Modeling Language (UML), Concurrent Programming, Timing Constraints, Object Constraint Language (OCL), Pre- and Postcondition
28	Ken-ichi Yamaguchi, Hiroki Wada, Toshimitsu Masuzawa, Hideo Fujiwara	BIST Method Based on Concurrent Single-Control Testability of RTL Data Paths.	Asian Test Symposium	2001	DBLP DOI BibTeX RDF	RTL data path, single-control testability, built-in self-test, design for testability, concurrent test, hierarchical test
28	Matthieu Martel, Marc Gengler	Partial Evaluation of Concurrent Programs.	Euro-Par	2001	DBLP DOI BibTeX RDF	Partial Evaluation, Control Flow Analysis, Concurrent Languages, Binding-time Analysis
28	Beverly A. Sanders	Using atomic await commands to develop concurrent programs in Java.	Softw. Concepts Tools	2000	DBLP DOI BibTeX RDF	Atomic await, Java, Concurrent programming
28	Ravi K. Gedela, Sol M. Shatz, Haiping Xu	Formal modeling of synchronization methods for concurrent objects in Ada 95.	SIGAda	1999	DBLP DOI BibTeX RDF	Petri net formalism, Ada-95, concurrent objects, distributed software, synchronization methods
28	In Sang Chung, Hyeon Soo Kim, Hyun Seop Bae, Yong Rae Kwon, Byung-Sun Lee	Testing of Concurrent Programs Based on Message Sequence Charts.	PDSE	1999	DBLP DOI BibTeX RDF	Concurrent Program Testing, Constraints-based Testing, Message Sequence Charts
28	Xiaoshan Li	Specification and Simulation of a Concurrent Real-Time System.	PDSE	1999	DBLP DOI BibTeX RDF	Concurrent Real-time Systems, Simulation and Verification, Executable Specification, Interval Temporal Logic
28	Antonis M. Paschalis, Dimitris Gizopoulos, Nikolaos Gaitanis	Concurrent Delay Testing in Totally Self-Checking Systems.	J. Electron. Test.	1998	DBLP DOI BibTeX RDF	concurrent on-line detection, duplication systems, path delay faults, totally self-checking circuits, error indicators
28	Paul C. Attie, E. Allen Emerson	Synthesis of Concurrent Systems with Many Similar Processes.	ACM Trans. Program. Lang. Syst.	1998	DBLP DOI BibTeX RDF	temporal logic, concurrent programs, program synthesis
28	Kiyoh Nakamura, Yoshinobu Fujii, Yukio Kiyokane, Masami Nakamura, Katsuhiko Hinenoya, Yeo Hua Peck, Siow Choon-Lian	Distributed and Concurrent Development Environment via Sharing Design Information.	COMPSAC	1997	DBLP DOI BibTeX RDF	concurrent distributed development, information sharing, SGML, document management
28	Eui Hyun Paik, Young-Sik Chung, Byung-Sun Lee, Chae Woo Yoo	A concurrent program debugging environment using real-time replay.	ICPADS	1997	DBLP DOI BibTeX RDF	concurrent program debugging environment, real-time replay, error-occurred execution, event history file, program debugging, process scheduling, message latencies
28	Hamish Taylor	A Lingua Franca For Concurrent Logic Programming.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	concurrent logic programming languages, nonflat guards, GHC, clean semantics, control facilities, lingua franca, execution conditions, parallel programming, logic programming, parallel languages, language translation, Parlog
28	George S. Avrunin, Ugo A. Buy, James C. Corbett, Laura K. Dillon, Jack C. Wileden	Automated Analysis of Concurrent Systems With the Constrained Expression Toolset.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	constrained expression toolset, expression analysis techniques, Ada-like design language, system traces, parallel programming, software tools, programming languages, source code, concurrent systems, reachable states
28	Krishna P. Mikkilineni, Yuan-Chieh Chow, Stanley Y. W. Su	Petri-Net-Based Modeling and Evaluation of Pipelined Processing of Concurrent Database Queries.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	concurrent database queries, integrated data network, intermediate data sharing, Petri nets, query processing, distributed databases, distributed databases, computer networks, program testing, digital simulation, pipelined processing, pipeline processing, Petri-net model, event-driven programming
28	Norihisa Doi, Yasushi Kodama, Ken Hirose	An Implementation of an Operating System Kernel Using Concurrent Object-Oriented Language ABCL/c+.	ECOOP	1988	DBLP DOI BibTeX RDF	Concurrent object-oriented language, ABCL, Operating system kernel
28	H. T. Kung 0001, Philip L. Lehman	Concurrent Manipulation of Binary Search Trees.	ACM Trans. Database Syst.	1980	DBLP DOI BibTeX RDF	databases, data structures, concurrency controls, consistency, correctness, binary search trees, locking protocols, concurrent algorithm
27	Yehuda Lindell	General Composition and Universal Composability in Secure Multiparty Computation.	J. Cryptol.	2009	DBLP DOI BibTeX RDF	Concurrent general composition, Universal composability, Secure computation
27	Shaz Qadeer, Dinghao Wu	KISS: keep it simple and sequential.	PLDI	2004	DBLP DOI BibTeX RDF	assertion checking, concurrent software, model checking, program analysis, race detection
27	Hezi Azatchi, Yossi Levanoni, Harel Paz, Erez Petrank	An on-the-fly mark and sweep garbage collector based on sliding views.	OOPSLA	2003	DBLP DOI BibTeX RDF	on-the-fly garbage collection, garbage collection, memory management, runtime systems, concurrent garbage collection
27	Miltos D. Grammatikakis, Stefan Liesche	Priority Queues and Sorting Methods for Parallel Simulation.	IEEE Trans. Software Eng.	2000	DBLP DOI BibTeX RDF	memory lock, parallel simulation, priority queue, data race, distributed data structure, Concurrent data structure, virtual shared memory, Cray-T3E
27	Theodore Johnson, Dennis E. Shasha	The Performance of Current B-Tree Algorithms.	ACM Trans. Database Syst.	1993	DBLP DOI BibTeX RDF	concurrent B-trees, performance of concurrent algorithms, B-trees, concurrent data structures
26	Mohammad A. Naal, M. Rakotoar, Emmanuel Simeu, Chouki Aktouf	Using Concurrent and Semi-Concurrent On-Line Testing During HLS: An Adaptable Approach.	IOLTW	2002	DBLP DOI BibTeX RDF
26	Damian Dechev, Bjarne Stroustrup	Scalable nonblocking concurrent objects for mission critical code.	OOPSLA Companion	2009	DBLP DOI BibTeX RDF	ABA problem prevention, autonomous space software, C++, software transactional memory, nonblocking synchronization
26	Andreas Griesmayer, Bernhard K. Aichernig, Einar Broch Johnsen, Rudolf Schlatte	Dynamic Symbolic Execution of Distributed Concurrent Objects.	FMOODS/FORTE	2009	DBLP DOI BibTeX RDF
26	Aquinas Hobor, Andrew W. Appel, Francesco Zappa Nardelli	Oracle Semantics for Concurrent Separation Logic.	ESOP	2008	DBLP DOI BibTeX RDF
26	Armando Solar-Lezama, Christopher Grant Jones, Rastislav Bodík	Sketching concurrent data structures.	PLDI	2008	DBLP DOI BibTeX RDF	concurrency, synthesis, sketching, sat, spin
26	Enrique Alba 0001, Francisco Chicano	Searching for liveness property violations in concurrent systems with ACO.	GECCO	2008	DBLP DOI BibTeX RDF	HSF-SPIN, ant colony optimization, metaheuristics, SPIN, liveness properties
26	Claude Kaiser, Christophe Pajault, Jean-François Pradat-Peyre	Concurrent Program Metrics Drawn by Quasar.	Ada-Europe	2008	DBLP DOI BibTeX RDF
26	Yael Tauman Kalai, Yehuda Lindell, Manoj Prabhakaran 0001	Concurrent Composition of Secure Protocols in the Timing Model.	J. Cryptol.	2007	DBLP DOI BibTeX RDF
26	Sebastian Burckhardt, Rajeev Alur, Milo M. K. Martin	Bounded Model Checking of Concurrent Data Types on Relaxed Memory Models: A Case Study.	CAV	2006	DBLP DOI BibTeX RDF
26	Zhilin Feng, Jianwei Yin, Zhaoyang He	Research of Workflow Modeling Based on Concurrent Transaction Logic.	CSCWD	2006	DBLP DOI BibTeX RDF
26	Ioannis Voyiatzis, Antonis M. Paschalis, Dimitris Gizopoulos, Nektarios Kranitis, Constantin Halatsis	A concurrent built-in self-test architecture based on a self-testing RAM.	IEEE Trans. Reliab.	2005	DBLP DOI BibTeX RDF
26	Jaiprakash T. Lallchandani, Rajib Mall	Computation of Dynamic Slices for Object-Oriented Concurrent Programs.	APSEC	2005	DBLP DOI BibTeX RDF
26	Paul C. Attie, Hana Chockler	Efficiently Verifiable Conditions for Deadlock-Freedom of Large Concurrent Programs.	VMCAI	2005	DBLP DOI BibTeX RDF
26	Yehuda Lindell	Lower Bounds for Concurrent Self Composition.	TCC	2004	DBLP DOI BibTeX RDF
26	Liqun Chen 0002, Caroline Kudla, Kenneth G. Paterson	Concurrent Signatures.	EUROCRYPT	2004	DBLP DOI BibTeX RDF
26	Rafael Pass, Alon Rosen	Bounded-Concurrent Secure Two-Party Computation in a Constant Number of Rounds.	FOCS	2003	DBLP DOI BibTeX RDF
26	Alex Dekhtyar, Ionut Emil Iacob	A Framework for Management of Concurrent XML Markup.	ER (Workshops)	2003	DBLP DOI BibTeX RDF
26	Zhengqiang Chen, Baowen Xu, Jianjun Zhao 0001, Hongji Yang	Static Dependency Analysis for Concurrent Ada 95 Programs.	Ada-Europe	2002	DBLP DOI BibTeX RDF
26	Ismet Bayraktaroglu, Alex Orailoglu	Concurrent test for digital linear systems.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2001	DBLP DOI BibTeX RDF
26	Kazunori Ueda	Resource-Passing Concurrent Programming.	TACS	2001	DBLP DOI BibTeX RDF
26	Atsushi Fukada, Akio Nakata, Junji Kitamichi, Teruo Higashino, Ana R. Cavalli	A Conformance Testing Method for Communication Protocols Modeled as Concurrent DFSMs.	ICOIN	2001	DBLP DOI BibTeX RDF
26	Joe Kilian, Erez Petrank	Concurrent and resettable zero-knowledge in poly-loalgorithm rounds.	STOC	2001	DBLP DOI BibTeX RDF
26	Jianjun Zhao 0001, Jingde Cheng, Kazuo Ushijima	A Program Dependence Model for Concurrent Logic Programs and its Applications.	ICSM	2001	DBLP DOI BibTeX RDF
26	Luca de Alfaro, Thomas A. Henzinger	Concurrent Omega-Regular Games.	LICS	2000	DBLP DOI BibTeX RDF
26	Mangala Gowri Nanda, S. Ramesh 0001	Slicing concurrent programs.	ISSTA	2000	DBLP DOI BibTeX RDF	Static program slicing, concurrency, data dependence
26	Alon Rosen	A Note on the Round-Complexity of Concurrent Zero-Knowledge.	CRYPTO	2000	DBLP DOI BibTeX RDF
26	Jianjun Zhao 0001	Slicing Concurrent Java Programs.	IWPC	1999	DBLP DOI BibTeX RDF	program comprehesion, Java, Concurrency, program slicing, dependence analysis
26	Michael B. Feldman, Bruce D. Bachus	Concurrent programming CAN be introduced into the lower-level undergraduate curriculum.	ITiCSE	1997	DBLP DOI BibTeX RDF	Ada
26	Jianjun Zhao 0001, Jingde Cheng, Kazuo Ushijima	Static Slicing of Concurrent Object-Oriented Programs.	COMPSAC	1996	DBLP DOI BibTeX RDF
26	Raju Pandey, James C. Browne	Support for Extensibility and Reusability in a Concurrent Object-Oriented Programming Language.	IPPS	1996	DBLP DOI BibTeX RDF	Extensiblity, Parallel Programming, Concurrency, object-orientation, C++, Inheritance, Reusability, Templates
26	Maurice Herlihy	A Methodology for Implementing Highly Concurrent Objects.	ACM Trans. Program. Lang. Syst.	1993	DBLP DOI BibTeX RDF
26	Sudharsan R. Iyengar, Narayan C. Debnath	A General Abstract Representation for the Study of Concurrent Programs.	ACM Conference on Computer Science	1993	DBLP DOI BibTeX RDF
26	Edmund M. Clarke, Orna Grumberg, David E. Long	Verification Tools for Finite-State Concurrent Systems.	REX School/Symposium	1993	DBLP DOI BibTeX RDF	model checking, temporal logic, binary decision diagrams, automatic verification
26	Michael Fisher 0001	Concurrent METATEM - A Language for Modelling Reactive Systems.	PARLE	1993	DBLP DOI BibTeX RDF
26	Jirí Zlatuska	Linear Logic Semantics for Concurrent Prolog.	ELP	1993	DBLP DOI BibTeX RDF
26	Maurice Herlihy	A Methodology for Implementing Highly Concurrent Data Structures.	PPoPP	1990	DBLP DOI BibTeX RDF
26	Ryszard Janicki, Tomasz Müldner	Complete Sequential Specification Allows for Concurrent Execution.	ACM Conference on Computer Science	1989	DBLP DOI BibTeX RDF
26	Ikuo Takeuchi	Concurrent Programming in TAO - Practice and Experience.	Workshop on Parallel Lisp	1989	DBLP DOI BibTeX RDF
26	Joost N. Kok	A Compositional Semantics for Concurrent Prolog.	STACS	1988	DBLP DOI BibTeX RDF
26	Marco Danelutto, Andrea Masini	A temporal Logic Approach to Specify and to Prove Properties of Finite State Concurrent Systems.	CSL	1988	DBLP DOI BibTeX RDF
26	M. W. Shields, Peter E. Lauer	Verifying Concurrent System Specification in COSY.	MFCS	1980	DBLP DOI BibTeX RDF
26	Crispin Cowan, Tito Autrey, Charles Krasic, Calton Pu, Jonathan Walpole	Fast concurrent dynamic linking for an adaptive operating system.	CDS	1996	DBLP DOI BibTeX RDF	fast concurrent dynamic linking, adaptive operating system, customizable operating systems, application-specific operating systems, interprocess protection barriers, reconfigurable software, concurrent operating system, replacement mechanism, concurrency control, concurrency control, interface, software reusability, software performance evaluation, network operating systems, software performance, performance degradation, microkernels
26	Julio Ortega Lopera, Alberto Prieto, Antonio Lloris-Ruíz, Francisco J. Pelayo	Generalized Hopfield Neural Network for Concurrent Testing.	IEEE Trans. Computers	1993	DBLP DOI BibTeX RDF	generalised Hopfield neural network, checking circuitry, concurrent testable circuit, associated energy function, polynomial dependence, performance evaluation, fault tolerant computing, logic testing, combinatorial circuits, energy function, concurrent testing, aliasing probability, Reed-Muller transform, Hopfield neural nets, spectral techniques
26	Vineet Gupta 0001, Vaughan R. Pratt	Gages Accept Concurrent Behavior	FOCS	1993	DBLP DOI BibTeX RDF	natural concurrent programming language, concurrent behavior, Boolean propositions, intrinsic notion, consequence-preserving renamings, automata, linear logic, duality, accepters, event structures, gates, morphisms, algebraic structure
26	Sy-Yen Kuo, Sheng-Chiech Liang	Concurrent Error Detection and Correction in Real-Time Systolic Sorting Arrays.	IEEE Trans. Computers	1992	DBLP DOI BibTeX RDF	online error correction, two level pipelining, real-time systolic sorting arrays, online error detection, VLSI sorting arrays, functional errors, data errors, real-time systems, parallel algorithms, VLSI, sorting, error correction codes, systolic arrays, error detection codes, concurrent error detection, high-throughput, self-checking, WSI, concurrent error correction
26	Raymond T. Yeh	Notes on Concurrent Engineering.	IEEE Trans. Knowl. Data Eng.	1992	DBLP DOI BibTeX RDF	software process reengineering, software engineering, software development, concurrent engineering, concurrent engineering, system requirement, COSMOS, management model
26	Yoheved Dotan, Benjamin Arazi	Concurrent Logic Programming as a Hardware Description Tool.	IEEE Trans. Computers	1990	DBLP DOI BibTeX RDF	hardware description tool, Flat Concurrent Prolog, parallel programming, logic programming, specification languages, concurrent logic programming
26	Jerry C. Yan, Stefen F. Lundstrom	The Post-Game Analysis Framework - Developing Resource Management Strategies for Concurrent Systems.	IEEE Trans. Knowl. Data Eng.	1989	DBLP DOI BibTeX RDF	post-game analysis framework, resource management strategies, optimization subgoals, timing data, rule-based architecture, concurrent programming paradigms, simulations, performance evaluation, parallel processing, distributed computations, multiprocessors, execution time, concurrent systems, operations research, multiprocessor architectures, program partitioning
26	Luca Simoncini, F. Saheban, Arthur D. Friedman	Design of Self-Diagnosable Multiprocessor Systems with Concurrent Computation and Diagnosis.	IEEE Trans. Computers	1980	DBLP DOI BibTeX RDF	Concurrent one-step t-fault diagnosability, concurrent sequential t-fault diagnosability, optimal connections, system level diagnosis
26	Michele Boreale, Flavio Corradini, Michele Loreti, Rosario Pugliese (eds.)	Models, Languages, and Tools for Concurrent and Distributed Programming - Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday	Models, Languages, and Tools for Concurrent and Distributed Programming	2019	DBLP DOI BibTeX RDF
26	Paolo Bottoni, Daniele Gorla, Stefano Kasangian, Anna Labella	Modal Epistemic Logic on Contracts: A Doctrinal Approach.	Models, Languages, and Tools for Concurrent and Distributed Programming	2019	DBLP DOI BibTeX RDF
26	Rumyana Neykova, Nobuko Yoshida	Featherweight Scribble.	Models, Languages, and Tools for Concurrent and Distributed Programming	2019	DBLP DOI BibTeX RDF
26	Farhad Arbab, Marco Autili, Paola Inverardi, Massimo Tivoli	Different Glasses to Look into the Three Cs: Component, Connector, Coordination.	Models, Languages, and Tools for Concurrent and Distributed Programming	2019	DBLP DOI BibTeX RDF
26	Yehia Abd Alrahman, Claudio Antares Mezzina, Hugo Torres Vieira	Testing for Coordination Fidelity.	Models, Languages, and Tools for Concurrent and Distributed Programming	2019	DBLP DOI BibTeX RDF
26	Lorenzo Bettini, Emanuela Merelli, Francesco Tiezzi 0001	X-Klaim Is Back.	Models, Languages, and Tools for Concurrent and Distributed Programming	2019	DBLP DOI BibTeX RDF
26	Stefania Gnesi, Maurice H. ter Beek	From the Archives of the Formal Methods and Tools Lab - Axiomatising and Contextualising ACTL.	Models, Languages, and Tools for Concurrent and Distributed Programming	2019	DBLP DOI BibTeX RDF
26	Flemming Nielson, Hanne Riis Nielson	Lightweight Information Flow.	Models, Languages, and Tools for Concurrent and Distributed Programming	2019	DBLP DOI BibTeX RDF
26	Joseph Sifakis	Autonomous Systems - An Architectural Characterization.	Models, Languages, and Tools for Concurrent and Distributed Programming	2019	DBLP DOI BibTeX RDF
26	Minas Charalambides, Karl Palmskog, Gul Agha	Types for Progress in Actor Programs.	Models, Languages, and Tools for Concurrent and Distributed Programming	2019	DBLP DOI BibTeX RDF
26	Marco Bernardo 0001	Genesis and Evolution of ULTraS: Metamodel, Metaequivalences, Metaresults.	Models, Languages, and Tools for Concurrent and Distributed Programming	2019	DBLP DOI BibTeX RDF
26	Natasha Fernandes, Lefki Kacem, Catuscia Palamidessi	Utility-Preserving Privacy Mechanisms for Counting Queries.	Models, Languages, and Tools for Concurrent and Distributed Programming	2019	DBLP DOI BibTeX RDF
26	Rob van Glabbeek	Reward Testing Equivalences for Processes.	Models, Languages, and Tools for Concurrent and Distributed Programming	2019	DBLP DOI BibTeX RDF
26	Roberto Bruni, Andrea Corradini 0001, Fabio Gadducci, Hernán C. Melgratti, Ugo Montanari, Emilio Tuosto	Data-Driven Choreographies à la Klaim.	Models, Languages, and Tools for Concurrent and Distributed Programming	2019	DBLP DOI BibTeX RDF
26	Vasco T. Vasconcelos, Francisco Martins, Antónia Lopes, Nuno Burnay	HeadREST: A Specification Language for RESTful APIs.	Models, Languages, and Tools for Concurrent and Distributed Programming	2019	DBLP DOI BibTeX RDF
26	Ugo Montanari	From Tuscany to Scotland and Back - A Homage to Rocco de Nicola for His 65th Birthday.	Models, Languages, and Tools for Concurrent and Distributed Programming	2019	DBLP DOI BibTeX RDF
26	Matthew Hennessy	An Equational Characterisation of the Must Testing Pre-order for Regular Processes.	Models, Languages, and Tools for Concurrent and Distributed Programming	2019	DBLP DOI BibTeX RDF
26	Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen	Testing Equivalence vs. Runtime Monitoring.	Models, Languages, and Tools for Concurrent and Distributed Programming	2019	DBLP DOI BibTeX RDF
26	Giancarlo Fortino, Barbara Re 0001, Mirko Viroli, Franco Zambonelli	Fluidware: An Approach Towards Adaptive and Scalable Programming of the IoT.	Models, Languages, and Tools for Concurrent and Distributed Programming	2019	DBLP DOI BibTeX RDF
26	Ivan Lanese, Davide Sangiorgi, Gianluigi Zavattaro	Playing with Bisimulation in Erlang.	Models, Languages, and Tools for Concurrent and Distributed Programming	2019	DBLP DOI BibTeX RDF