Search results for "concurrent"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
26	Jean-Marc Andreoli, Remo Pareschi, Marc Bourgois	Dynamic Programming as Multiagent Programming.	Object-Based Concurrent Computing	1991	DBLP DOI BibTeX RDF
26	Ciaran McHale, Bridget Walsh, Seán Baker, Alexis A. Donnelly	Scheduling Predicates.	Object-Based Concurrent Computing	1991	DBLP DOI BibTeX RDF
26	Thorsten Hartmann, Ralf Jungclaus	Abstract Description of Distributed Object Systems.	Object-Based Concurrent Computing	1991	DBLP DOI BibTeX RDF
26	Kohei Honda 0001, Mario Tokoro	On Asynchronous Communication Semantics.	Object-Based Concurrent Computing	1991	DBLP DOI BibTeX RDF
26	Vasco Thudichum Vasconcelos, Mario Tokoro	Traces Semantics for Actor Systems.	Object-Based Concurrent Computing	1991	DBLP DOI BibTeX RDF
26	Peter Wegner	Desgin Issues for Object-Based Concurrency.	Object-Based Concurrent Computing	1991	DBLP DOI BibTeX RDF
26	Pierre America	Formal Techniques for Parallel Object-Oriented Languages.	Object-Based Concurrent Computing	1991	DBLP DOI BibTeX RDF
26	Hayssam Saleh, Philippe Gautron	A Concurrency Control Mechanism for C++ Objects.	Object-Based Concurrent Computing	1991	DBLP DOI BibTeX RDF
26	Irène Guessarian (eds.)	Semantics of Systems of Concurrent Processes, LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990, Proceedings	Semantics of Systems of Concurrent Processes	1990	DBLP DOI BibTeX RDF
26	Charles Rattray (eds.)	Specification and Verification of Concurrent Systems [BCS-FACS Workshop, 6-8 July 1988, University of Stirling, Scotland, UK]	Specification and Verification of Concurrent Systems	1990	DBLP BibTeX RDF
26	Bernadette Charron-Bost	Concerning the Size of Clocks.	Semantics of Systems of Concurrent Processes	1990	DBLP DOI BibTeX RDF
26	Ursula Goltz	CCS and Petri Nets.	Semantics of Systems of Concurrent Processes	1990	DBLP DOI BibTeX RDF
26	Irène Guessarian	About Fixpoints for Concurrency.	Semantics of Systems of Concurrent Processes	1990	DBLP DOI BibTeX RDF
26	Joffroy Beauquier	Fault-Tolerant Naming and Mutual Exclusion.	Semantics of Systems of Concurrent Processes	1990	DBLP DOI BibTeX RDF	synchronous and asynchronous message passing, naming problem, fault tolerance, distributed algorithms, byzantine process, mutual exclusion problem
26	Lutz Priese	Approaching Fair Computations by Ultra Metrics.	Semantics of Systems of Concurrent Processes	1990	DBLP DOI BibTeX RDF
26	Gérard Boudol, Ilaria Castellani	Three Equivalent Semantics for CCS.	Semantics of Systems of Concurrent Processes	1990	DBLP DOI BibTeX RDF
26	Andrea Corradini 0001, Gian-Luigi Ferrari 0002, Ugo Montanari	Transition Systems with Algebraic Structure as Models of Computations.	Semantics of Systems of Concurrent Processes	1990	DBLP DOI BibTeX RDF
26	Rocco De Nicola, Frits W. Vaandrager	Action versus State based Logics for Transition Systems.	Semantics of Systems of Concurrent Processes	1990	DBLP DOI BibTeX RDF
26	Luc Bougé, Patrick Garda	Towards a Semantic Approach to SIMD Architectures and their Languages.	Semantics of Systems of Concurrent Processes	1990	DBLP DOI BibTeX RDF
26	J. W. de Bakker, J. H. A. Warmerdam	Metric Pomset Semantics for a Concurrnt Language with Recursion.	Semantics of Systems of Concurrent Processes	1990	DBLP DOI BibTeX RDF	pomsets, metric topology, operational semantics, denotational semantics, true concurrency, proof rule
26	Egidio Astesiano, Alessandro Giovini, Gianna Reggio	Processes as Data Types: Observational Semantics and Logic.	Semantics of Systems of Concurrent Processes	1990	DBLP DOI BibTeX RDF
26	Gérard Duchamp, Daniel Krob	Partially Commutative Formal Power Series.	Semantics of Systems of Concurrent Processes	1990	DBLP DOI BibTeX RDF
26	Stefano Kasangian, Anna Labella, Alberto Pettorossi	Observers, Experiments and Agents: a Comprehensive Approach to Parallelism.	Semantics of Systems of Concurrent Processes	1990	DBLP DOI BibTeX RDF
26	Gérard Boudol	Flow Event Structures and Flow Nets.	Semantics of Systems of Concurrent Processes	1990	DBLP DOI BibTeX RDF
26	Philippe Darondeau	Concurrency and Computability.	Semantics of Systems of Concurrent Processes	1990	DBLP DOI BibTeX RDF
26	Donal Roantree, Maurice Clint	A Specification-Verification Framework for Distributed Applications Software.	Specification and Verification of Concurrent Systems	1988	DBLP BibTeX RDF
26	Sören Holmström	Hennessy-Milner Logic with Recursion as a Specification Language, and a Refinement Calculus based on It.	Specification and Verification of Concurrent Systems	1988	DBLP BibTeX RDF
26	Francois D. Carrez, Dominique Méry	Temporal Specifications Directed by Grammar and Design of Process Networks.	Specification and Verification of Concurrent Systems	1988	DBLP BibTeX RDF
26	David Freestone	Specification and Verification in Communications Standards.	Specification and Verification of Concurrent Systems	1988	DBLP BibTeX RDF
26	Pierre America	The Interplay of Theory and Practice in a Parallel Object-Oriented Language.	Specification and Verification of Concurrent Systems	1988	DBLP BibTeX RDF
26	Udo Thalmann	Analysis of Estelle Specifications.	Specification and Verification of Concurrent Systems	1988	DBLP BibTeX RDF
26	Elspeth Cusack	Formal Design and Development of Ada Real-Time Embedded Systems.	Specification and Verification of Concurrent Systems	1988	DBLP BibTeX RDF
26	Mathai Joseph, Asis Goswami	Semantics for Specifying Real-Time Systems.	Specification and Verification of Concurrent Systems	1988	DBLP BibTeX RDF
26	Parosh Aziz Abdulla, Stefan Arnborg	An Equivalence Decision Problem in Systolic Array Verification.	Specification and Verification of Concurrent Systems	1988	DBLP BibTeX RDF
26	L. D. Natanson, W. B. Samson	An Animator for CSP Implemented in HOPE.	Specification and Verification of Concurrent Systems	1988	DBLP BibTeX RDF
26	Antonella Di Stefano, Fabio Gibilisco, Orazio Mirabella	Modeling of Distributed Problem Solving using Logic Modified Petri Nets.	Specification and Verification of Concurrent Systems	1988	DBLP BibTeX RDF
26	Stephen A. Schuman, David H. Pitt, Paddy H. Byers	Object-Oriented Process Specification.	Specification and Verification of Concurrent Systems	1988	DBLP BibTeX RDF
26	J. D. Parker	Synchronization in Network Protocols.	Specification and Verification of Concurrent Systems	1988	DBLP BibTeX RDF
26	Robin A. Nicholl	Concurrency in Modula-2: Properties of the Language Primitives.	Specification and Verification of Concurrent Systems	1988	DBLP BibTeX RDF
26	Stuart Richard Matthews	The Specification and Design of a Nondeterministic Data Structure Using CCS.	Specification and Verification of Concurrent Systems	1988	DBLP BibTeX RDF
26	Paul A. J. Tilanus, Yan Yang	Experience with LOTOS and Environment LOTTE on an ISDN Protocol.	Specification and Verification of Concurrent Systems	1988	DBLP BibTeX RDF
26	Rosalind L. Ibrahim, John A. Ogden, Shirley A. Williams	Should Concurrency be Specified?	Specification and Verification of Concurrent Systems	1988	DBLP BibTeX RDF
26	Christopher M. Holt	Dynamic Communication Links.	Specification and Verification of Concurrent Systems	1988	DBLP BibTeX RDF
26	E. Pascal Gribomont	From Synchronous to Asynchronous Communication.	Specification and Verification of Concurrent Systems	1988	DBLP BibTeX RDF
26	Robert G. Clark	The Design ad Development of Ada Real-Time Embedded Systems.	Specification and Verification of Concurrent Systems	1988	DBLP BibTeX RDF
26	Jeffrey J. Joyce	Formal Specification and Verification of Asynchronous Processes in Higher-Order Logic.	Specification and Verification of Concurrent Systems	1988	DBLP BibTeX RDF
26	Kenneth R. Parker, Rainer A. Berger, Kong E. Cheng	Protocol Analysis and Implementation using NPNs and SDL.	Specification and Verification of Concurrent Systems	1988	DBLP BibTeX RDF
26	Jonathan Billington	A High-Level Petri Net Specification of the Cambridge Fast Ring M-Access Service.	Specification and Verification of Concurrent Systems	1988	DBLP BibTeX RDF
26	Wang Yi 0001	Specifying Processes in Terms of Their Environments.	Specification and Verification of Concurrent Systems	1988	DBLP BibTeX RDF
26	B. Tim Denvir, W. T. Harwood, M. I. Jackson, M. J. Wray (eds.)	The Analysis of Concurrent Systems, Cambridge, UK, September 12-16, 1983, Proceedings	The Analysis of Concurrent Systems	1985	DBLP DOI BibTeX RDF
26	Krzysztof R. Apt (eds.)	Logics and Models of Concurrent Systems - Conference proceedings, Colle-sur-Loup (near Nice), France, 8-19 October 1984	Logics and Models of Concurrent Systems	1985	DBLP DOI BibTeX RDF
26	Luis Fariñas del Cerro	Resolution Modal Logics.	Logics and Models of Concurrent Systems	1984	DBLP DOI BibTeX RDF
26	Dov M. Gabbay	Theoretical Foundations for Non-Monotonic Reasoning in Expert Systems.	Logics and Models of Concurrent Systems	1984	DBLP DOI BibTeX RDF
26	Philippe Darondeau	About Fair Asynchrony.	Logics and Models of Concurrent Systems	1984	DBLP DOI BibTeX RDF
26	Gérard Boudol	Notes on Algebraic Calculi of Processes.	Logics and Models of Concurrent Systems	1984	DBLP DOI BibTeX RDF
26	Joseph Y. Halpern, Yoram Moses	Towards a Theory of Knowledge and Ignorance: Preliminary Report.	Logics and Models of Concurrent Systems	1984	DBLP DOI BibTeX RDF
26	David Harel, Amir Pnueli	On the Development of Reactive Systems.	Logics and Models of Concurrent Systems	1984	DBLP DOI BibTeX RDF
26	Stephen D. Brookes, A. W. Roscoe 0001	Deadlock Analysis in Networks of Communicating Processes.	Logics and Models of Concurrent Systems	1984	DBLP DOI BibTeX RDF
26	Susanne Graf, Joseph Sifakis	A Logic for the Specification and Proof of Controllable Processes of CCS.	Logics and Models of Concurrent Systems	1984	DBLP DOI BibTeX RDF
26	Edmund M. Clarke, Michael C. Browne, E. Allen Emerson, A. Prasad Sistla	Using Temporal Logic for Automatic Verification of Finite State Systems.	Logics and Models of Concurrent Systems	1984	DBLP DOI BibTeX RDF
26	Willem P. de Roever	The Cooperation Test : a syntax-directed verification method.	Logics and Models of Concurrent Systems	1984	DBLP DOI BibTeX RDF
26	Nissim Francez, Brent Hailpern, Gadi Taubenfeld	Script: A Communication Abstraction Mechanism and its Verification.	Logics and Models of Concurrent Systems	1984	DBLP DOI BibTeX RDF
26	Brent Hailpern	Tools for Verifying Network Protocols.	Logics and Models of Concurrent Systems	1984	DBLP DOI BibTeX RDF
26	K. Mani Chandy, Jayadev Misra	A Paradigm for Detecting Quiescent Properties in Distributed Computations.	Logics and Models of Concurrent Systems	1984	DBLP DOI BibTeX RDF
26	Amir Pnueli	In Transition From Global to Modular Temporal Reasoning about Programs.	Logics and Models of Concurrent Systems	1984	DBLP DOI BibTeX RDF
26	Krzysztof R. Apt	Correctness Proofs of Distributed Termination Algorithms.	Logics and Models of Concurrent Systems	1984	DBLP DOI BibTeX RDF
26	Ernst-Rüdiger Olderog	Specification-Oriented Programming in TCSP.	Logics and Models of Concurrent Systems	1984	DBLP DOI BibTeX RDF
26	Amir Pnueli	Solutions to Problem No.2.	The Analysis of Concurrent Systems	1983	DBLP DOI BibTeX RDF
26	Robin Milner	Using Algebra for Concurrency: Some Approaches.	The Analysis of Concurrent Systems	1983	DBLP DOI BibTeX RDF
26	Robin Milner	Firing Squad.	The Analysis of Concurrent Systems	1983	DBLP DOI BibTeX RDF
26	Peter D. Mosses	A Solution to Problem 7 - Parallel Combinator Reduction Machine -.	The Analysis of Concurrent Systems	1983	DBLP DOI BibTeX RDF
26	Egidio Astesiano, Gianna Reggio	On the Specification of the Firing Squad Problem.	The Analysis of Concurrent Systems	1983	DBLP DOI BibTeX RDF
26	Howard Barringer, Ruurd Kuiper 0001	Towards the Hierarchical, Temporal Logic, Specification.	The Analysis of Concurrent Systems	1983	DBLP DOI BibTeX RDF
26	Ron Koymans, Willem P. de Roever	Examples of a Real-Time Temporal Logic Specification.	The Analysis of Concurrent Systems	1983	DBLP DOI BibTeX RDF
26	Carroll Morgan	Specification of a simplified Network Service in Z.	The Analysis of Concurrent Systems	1983	DBLP DOI BibTeX RDF
26	A. W. Roscoe 0001	Specifying problem one using the failure sets model for CSP and deriving CSP processes which meett this specification.	The Analysis of Concurrent Systems	1983	DBLP DOI BibTeX RDF
26	Vaughan R. Pratt	Two-way Channel with Disconnect.	The Analysis of Concurrent Systems	1983	DBLP DOI BibTeX RDF
26	Robin Milner	Parallel Combinator Reduction Machine.	The Analysis of Concurrent Systems	1983	DBLP DOI BibTeX RDF
26	Jean-Claude Fernandez, Jean-Philippe Schwartz, Joseph Sifakis	An Example of Specification and Verification in Cesar.	The Analysis of Concurrent Systems	1983	DBLP DOI BibTeX RDF
26	M. W. Shields	The Train Set Problem.	The Analysis of Concurrent Systems	1983	DBLP DOI BibTeX RDF
26	Peter E. Lauer	A Simple Railway System.	The Analysis of Concurrent Systems	1983	DBLP DOI BibTeX RDF
26	P. S. Thiagarajan	Some Aspects of Net Theory.	The Analysis of Concurrent Systems	1983	DBLP DOI BibTeX RDF
26	George J. Milne	Description and Analysis Using Circal.	The Analysis of Concurrent Systems	1983	DBLP DOI BibTeX RDF
26	A. W. Roscoe 0001	A CSP solution to the "trains" problem.	The Analysis of Concurrent Systems	1983	DBLP DOI BibTeX RDF
26	John Yiannis Cotronis, Peter E. Lauer	Two Way Channel with Disconnect.	The Analysis of Concurrent Systems	1983	DBLP DOI BibTeX RDF
26	Richard L. Schwartz, P. M. Melliar-Smith	From State Machines to Temporal Logic: Specification Methods for Protocol Standards.	The Analysis of Concurrent Systems	1983	DBLP DOI BibTeX RDF
26	Richard Kennaway, M. Ronan Sleep	Syntax and informal semantics of DyNe, a parallel language.	The Analysis of Concurrent Systems	1983	DBLP DOI BibTeX RDF
26	Carroll Morgan, C. A. R. Hoare	Specification of a simplified Network Service in CSP.	The Analysis of Concurrent Systems	1983	DBLP DOI BibTeX RDF
26	Gilles Kahn (eds.)	Semantics of Concurrent Computation, Proceedings of the International Symposium, Evian, France, July 2-4, 1979	Semantics of Concurrent Computation	1979	DBLP DOI BibTeX RDF
26	Jean-Raymond Abrial, Stephen A. Schuman	Non-Deterministic System Specification.	Semantics of Concurrent Computation	1979	DBLP DOI BibTeX RDF
26	William W. Wadge	An Extensional Treatment of Dataflow Deadlock.	Semantics of Concurrent Computation	1979	DBLP DOI BibTeX RDF
26	M. W. Shields	Adequate Path Expressions.	Semantics of Concurrent Computation	1979	DBLP DOI BibTeX RDF
26	Andrea Maggiolo-Schettini, Horst F. Wedde, Józef Winkowski	Modeling a Solution for a Control Problem in Distributed Systems by Restrictions.	Semantics of Concurrent Computation	1979	DBLP DOI BibTeX RDF
26	Carl Hewitt, Giuseppe Attardi, Henry Lieberman	Specifying and Proving Properties of Guardians for Distributed Systems.	Semantics of Concurrent Computation	1979	DBLP DOI BibTeX RDF
26	Jerald S. Schwartz	Denotational Semantics of Parallelism.	Semantics of Concurrent Computation	1979	DBLP DOI BibTeX RDF
26	Kurt Jensen, Morten Kyng, Ole Lehrmann Madsen	A Petri Net Definition of a System Description Language.	Semantics of Concurrent Computation	1979	DBLP DOI BibTeX RDF
26	Hartmann J. Genrich, Kurt Lautenbach	The Analysis of Distributed Systems by Means of Predicate ? Transition-Nets.	Semantics of Concurrent Computation	1979	DBLP DOI BibTeX RDF
26	Daniel P. Friedman, David S. Wise	An Approach to Fair Applicative Multiprogramming.	Semantics of Concurrent Computation	1979	DBLP DOI BibTeX RDF
26	Yat-Sang Kwong	On the Absence of Livelocks in Parallel Programs.	Semantics of Concurrent Computation	1979	DBLP DOI BibTeX RDF
26	Ryszard Janicki	A Characterization of Concurrency-Like Relations.	Semantics of Concurrent Computation	1979	DBLP DOI BibTeX RDF