Search results for "true-concurrency"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
22	Yosi Ben-Asher, Eitan Farchi	Using true concurrency to model execution of parallel programs.	Int. J. Parallel Program.	1994	DBLP DOI BibTeX RDF
22	Davide Sangiorgi	Locality and True-concurrency in Calculi for Mobile Processes.	TACS	1994	DBLP DOI BibTeX RDF
22	Ruqian Lu	A True Concurrency Model of CCS Semantics.	Theor. Comput. Sci.	1993	DBLP DOI BibTeX RDF
22	Tatjana Kapus, Bogomir Horvat, Marjeta Pucko	A true concurrency semantics for parallel programs.	Microprocess. Microprogramming	1993	DBLP DOI BibTeX RDF
22	Ugo Montanari	True Concurrency: Theory and Practice.	MPC	1992	DBLP DOI BibTeX RDF
22	Rosvelter João Coelho da Costa, Jean-Pierre Courtiat	A true concurrency semantics for LOTOS.	FORTE	1992	DBLP BibTeX RDF
22	Ugo Montanari, Francesca Rossi 0001	True Concurrency in Concurrent Constraint Programming.	ISLP	1991	DBLP BibTeX RDF
22	Mohamed Bettaz, Mourad Maouche	How to Specify Non-Determinism and True Concurrency with Algebraic Term Nets.	COMPASS/ADT	1991	DBLP DOI BibTeX RDF
22	Jean-Pierre Courtiat, Rosvelter João Coelho da Costa	A LOTOS Based Calculus with True Concurrency Semantics.	FORTE	1991	DBLP BibTeX RDF
22	John-Jules Ch. Meyer, Erik P. de Vink	Step Semantics for "True" Concurrency with Recursion.	Distributed Comput.	1989	DBLP DOI BibTeX RDF
19	Paola Glavan, Dean Rosenzweig	Communicating Evolving Algebras.	CSL	1992	DBLP DOI BibTeX RDF
19	Ludmila Cherkasova	On Models and Algebras for Concurrent Processes.	MFCS	1988	DBLP DOI BibTeX RDF
18	Paolo Baldan, Andrea Corradini 0001, Tobias Heindel, Barbara König 0001, Pawel Sobocinski 0001	Processes for Adhesive Rewriting Systems.	FoSSaCS	2006	DBLP DOI BibTeX RDF
18	Samy Abbes, Albert Benveniste	Branching Cells as Local States for Event Structures and Nets: Probabilistic Applications.	FoSSaCS	2005	DBLP DOI BibTeX RDF
18	Xiuli Sun, Jinzhao Wu	Operational Semantics for Real-Time Processes with Action Refinement.	SEFM	2005	DBLP DOI BibTeX RDF
18	Antonio Cerone	Implementing Condition/Event Nets in the Circal Process Algebra.	FASE	2002	DBLP DOI BibTeX RDF
14	Claudia Faggian, Mauro Piccolo	Partial Orders, Event Structures and Linear Strategies.	TLCA	2009	DBLP DOI BibTeX RDF
14	Ryan F. Kelly, Adrian R. Pearce	Towards High-Level Programming for Distributed Problem Solving.	IAT	2006	DBLP DOI BibTeX RDF
14	Thomas Chatain, Claude Jard	Time Supervision of Concurrent Systems Using Symbolic Unfoldings of Time Petri Nets.	FORMATS	2005	DBLP DOI BibTeX RDF
14	Naiyong Jin, Jifeng He 0001	Towards A Truly Concurrent Model for Processes Sharing Resources.	SEFM	2005	DBLP DOI BibTeX RDF	Trace Model, Resource Sharing, Semantic Model
14	Thomas Chatain, Claude Jard	Symbolic Diagnosis of Partially Observable Concurrent Systems.	FORTE	2004	DBLP DOI BibTeX RDF
14	Jean-Marc Andreoli, Laurent Mazaré	Concurrent Construction of Proof-Nets.	CSL	2003	DBLP DOI BibTeX RDF
14	Paul Gastin, Michael W. Mislove	A Truly Concurrent Semantics for a Simple Parallel Programming Language.	CSL	1999	DBLP DOI BibTeX RDF
14	Vineet Gupta 0001, Radha Jagadeesan, Vijay A. Saraswat	Truly Concurrent Constraint Programming.	CONCUR	1996	DBLP DOI BibTeX RDF
14	Bent Thomsen, Lone Leth Thomsen, Tsung-Min Kuo	A Facile Tutorial.	CONCUR	1996	DBLP DOI BibTeX RDF
14	Robert Steigerwald, Michael L. Nelson	Concurrent programming in Smalltalk-80.	ACM SIGPLAN Notices	1990	DBLP DOI BibTeX RDF	Smalltalk-80
9	Jaeheon Yi, Cormac Flanagan	Effects for cooperable and serializable threads.	TLDI	2010	DBLP DOI BibTeX RDF	atomicity, yield, race conditions, effect system
9	Egon Börger, Bernhard Thalheim	Modeling Workflows, Interaction Patterns, Web Services and Business Processes: The ASM-Based Approach.	ABZ	2008	DBLP DOI BibTeX RDF
9	Christophe Fouqueré	A Logical Calculus for Modelling Interferences.	ICTAC	2007	DBLP DOI BibTeX RDF
9	Christine Reese, Matthias Wester-Ebbinghaus, Till Dörges, Lawrence Cabac, Daniel Moldt	Introducing a Process Infrastructure for Agent Systems.	LADS	2007	DBLP DOI BibTeX RDF
9	Paul-André Melliès, Samuel Mimram	Asynchronous Games: Innocence Without Alternation.	CONCUR	2007	DBLP DOI BibTeX RDF
9	Hamdi Yahyaoui, Mourad Debbabi, Nadia Tawbi	A Denotational Semantic Model for Validating JVML/CLDC Optimizations under Isabelle/HOL.	QSIC	2007	DBLP DOI BibTeX RDF
9	M. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, Juan José Pardo	Specification and performance evaluation of Flexible Manufacturing Systems using a Bounded True Concurrent Process Algebra.	CIMCA/IAWTIC	2006	DBLP DOI BibTeX RDF
9	M. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, Juan José Pardo	Process Algebra Specification of Flexible Manufacturing Systems.	SYNASC	2006	DBLP DOI BibTeX RDF
9	Awatef Hicheur, Kamel Barkaoui, Noura Boudiaf	Modeling Workflows with Recursive ECATNets.	SYNASC	2006	DBLP DOI BibTeX RDF
9	José Meseguer 0001	Functorial Semantics of Rewrite Theories.	Formal Methods in Software and Systems Modeling	2005	DBLP DOI BibTeX RDF
9	M. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, Juan José Pardo	A Formal Specification and Performance Evaluation of the Purchase Phase in the SET Protocol.	SYNASC	2005	DBLP DOI BibTeX RDF
9	Thomas Chatain, Claude Jard	Models for the Supervision of Web Services Orchestration with Dynamic Changes.	AICT/SAPIR/ELETE	2005	DBLP DOI BibTeX RDF
9	Robert F. Stärk, Egon Börger	An ASM Specification of C# Threads and the .NET Memory Model.	Abstract State Machines	2004	DBLP DOI BibTeX RDF
9	Vaughan R. Pratt	Event-State Duality: The Enriched Case.	CONCUR	2002	DBLP DOI BibTeX RDF
9	Madhavan Mukund	Hereditary History Preserving Bisimulation Is Decidable for Trace-Labelled Systems.	FSTTCS	2002	DBLP DOI BibTeX RDF
9	O. Biberstein, Didier Buchs, Nicolas Guelfi	Object-Oriented Nets with Algebraic Specifications: The CO-OPN/2 Formalism.	Concurrent Object-Oriented Programming and Petri Nets	2001	DBLP DOI BibTeX RDF
9	Hagen Völzer	Randomized Non-sequential Processes.	CONCUR	2001	DBLP DOI BibTeX RDF
9	Ian MacColl, David A. Carrington	Translating UAN into CSP.	ICFEM	2000	DBLP DOI BibTeX RDF
9	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
9	Gabriel Antoniu, Luc Bougé, Philip J. Hatcher, Mark MacBeth, Keith McGuigan, Raymond Namyst	Compiling Multithreaded Java Bytecode for Distributed Execution (Distinguished Paper).	Euro-Par	2000	DBLP DOI BibTeX RDF
9	Leila Ribeiro 0001, Bernardo Copstein	Compositional Construction of Simulation Models Using Graph Grammars.	AGTIVE	1999	DBLP DOI BibTeX RDF
9	Harro Wimmel, Lutz Priese	Algebraic Characterization of Petri Net Pomset Semantics.	CONCUR	1997	DBLP DOI BibTeX RDF
9	Eric Goubault	Durations for Truly-Concurrent Transitions.	ESOP	1996	DBLP DOI BibTeX RDF
9	Christian Riva, Moshe Krieger	Automating real-time multi-threaded application development.	CASCON	1995	DBLP BibTeX RDF
9	Charles Lakos, Søren Christensen	A General Systematic Approach to Arc Extensions for Coloured Petri Nets.	Application and Theory of Petri Nets	1994	DBLP DOI BibTeX RDF
9	G. Michele Pinna, Axel Poigné	On the Specification of Elementary Reactive Behaviour.	MFPS	1993	DBLP DOI BibTeX RDF
9	Nikolay A. Anisimov	A Disabling of Event Structures.	PARLE	1993	DBLP DOI BibTeX RDF
9	Antonio Brogi, Maurizio Gabbrielli	Constraints for Synchronizing Logic Coarse-grained Sequential Logic Processes.	PLILP	1991	DBLP DOI BibTeX RDF
9	Yolanda Ortega-Mallén, David de Frutos-Escrig	A Complete Proof System for Timed Observations.	TAPSOFT, Vol.1	1991	DBLP DOI BibTeX RDF
9	Rajeev Alur, Thomas A. Henzinger	Logics and Models of Real Time: A Survey.	REX Workshop	1991	DBLP DOI BibTeX RDF	verification, real time, semantics, Temporal logic, finite-state machines, transition systems
9	Walter Vogler	Bisimulation and Action Refinement.	STACS	1991	DBLP DOI BibTeX RDF
9	Wil Janssen, Mannes Poel, Job Zwiers	Action Systems and Action Refinement in the Development of Parallel Systems - An Algebraic Approach.	CONCUR	1991	DBLP DOI BibTeX RDF
9	Gian-Luigi Ferrari 0002, Ugo Montanari	Towards the Unification of Models for Concurrency.	CAAP	1990	DBLP DOI BibTeX RDF
9	Ralph-Johan Back, Reino Kurki-Suonio	Distributed Cooperation with Action Systems.	ACM Trans. Program. Lang. Syst.	1988	DBLP DOI BibTeX RDF
9	Rob J. van Glabbeek, Frits W. Vaandrager	Petri Net Models for Algebraic Theories of Concurrency.	PARLE (2)	1987	DBLP DOI BibTeX RDF