Search results for "true-concurrency"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
75	Signe J. Silver, Janusz A. Brzozowski	True Concurrency in Models of Asynchronous Circuit Behavior.	Formal Methods Syst. Des.	2003	DBLP DOI BibTeX RDF	multiple-winner, single-winner, semi-modular, asynchronous, circuit, interleaving, true concurrency, delay-insensitive
57	Jean-Marc Andreoli, Lone Leth Thomsen, Remo Pareschi, Bent Thomsen	True Concurrency Semantics for a Linear Logic Programming Language with Braodcast Communication.	TAPSOFT	1993	DBLP DOI BibTeX RDF	Chemical Abstract Machines, Concurrent, Broadcasting, Linear Logic, Rewriting, True Concurrency
40	Jorge A. Baier, Javier Pinto	Integrating True Concurrency into the Robot Programming Language.	SCCC	1999	DBLP DOI BibTeX RDF	Golog, Congolog, TCongolog, Concurrency, Knowledge Representation
40	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
36	Gérard Boudol, Ilaria Castellani, Matthew Hennessy, Mogens Nielsen, Glynn Winskel	Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra.	Concurrency, Graphs and Models	2008	DBLP DOI BibTeX RDF
36	Paul-André Melliès	Asynchronous Games 2: The True Concurrency of Innocence.	CONCUR	2004	DBLP DOI BibTeX RDF
36	Bard Bloom, Marta Z. Kwiatkowska	Trade-Offs in True Concurrency: Pomsets and Mazurkiewicz Traces.	MFPS	1991	DBLP DOI BibTeX RDF
36	David W. Mizell	Verification and Design Aspects of "True" Concurrency.	POPL	1978	DBLP DOI BibTeX RDF
35	Christie Marr	Capturing Conflict and Confusion in CSP.	IFM	2007	DBLP DOI BibTeX RDF	Interleaving Concurrency, Petri Nets, CSP, Conflict, Automatic Verification, True Concurrency, Confusion
35	Harald Fecher, Mila E. Majster-Cederbaum	Action Refinement Applied to Late Decisions.	Formal Aspects Comput.	2006	DBLP DOI BibTeX RDF	Coarsest congruence, Equivalence, Action refinement, Event structure, True concurrency
35	Hamza Mazouzi, Amal El Fallah Seghrouchni, Serge Haddad	Open protocol design for complex interactions in multi-agent systems.	AAMAS	2002	DBLP DOI BibTeX RDF	distributed observation, protocol diagrams, formal specification, validation, colored petri nets, true concurrency, AUML
35	Linda A. Ness	L.0: A Truly Concurrent Executable Temporal Logic Language for Protocols.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	L.0, truly concurrent executable temporal logic language, true concurrency model, execution algorithm, standard imperative programming, state predicates, equality predicates, hierarchical message structure, Futurebus+, simulation, protocols, protocols, specification, temporal logic, specification languages, simulation languages
35	Jos C. M. Baeten, Jan A. Bergstra	Real Space Process Algebra.	CONCUR	1991	DBLP DOI BibTeX RDF	real space-time, Galilei transformation, Lorentz transformation, real time, interleaving, true concurrency, & Phrases process algebra
33	Luca Aceto, David Murphy	On the Ill-Timed but Well-Caused.	CONCUR	1993	DBLP DOI BibTeX RDF
32	Leila Ribeiro Korff, Martin Korff	True Concurrency = Interleaving Concurrency + Weak Conflict.	US-Brazil Joint Workshops on the Formal Foundations of Software Systems	1997	DBLP DOI BibTeX RDF
31	M. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, Juan José Pardo	Analysis of the SET e-commerce protocol using a true concurrency process algebra.	SAC	2006	DBLP DOI BibTeX RDF	SET protocol, heterogeneous shared resources, performance evaluation, formal specification, process algebra
31	Sibylle B. Fröschle	Composition and Decomposition in True-Concurrency.	FoSSaCS	2005	DBLP DOI BibTeX RDF
31	M. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, Juan José Pardo, Hermenegilda Macià	A Bounded True Concurrency Process Algebra for Performance Evaluation.	FORTE Workshops	2004	DBLP DOI BibTeX RDF
31	Mila E. Majster-Cederbaum, Jinzhao Wu	Adding Action Refinement to Stochastic True Concurrency Models.	ICFEM	2003	DBLP DOI BibTeX RDF
31	Lalita Jategaonkar, Albert R. Meyer	Deciding True Concurrency Equivalences on Finite Sate Nets (Preliminary Report).	ICALP	1993	DBLP DOI BibTeX RDF
31	Doris Nolte, Lutz Priese	Fairness in Models with True Concurrency.	CONCUR	1991	DBLP DOI BibTeX RDF
31	David Murphy	Testing, Betting and Timed True Concurrency.	CONCUR	1991	DBLP DOI BibTeX RDF
31	John-Jules Ch. Meyer, Erik P. de Vink	Pomset Semantics for True Concurrency with Synchronization and Recursion (Extended Abstract).	MFCS	1989	DBLP DOI BibTeX RDF
29	Haim Gaifman	Modeling concurrency by partial orders and nonlinear transition systems.	REX Workshop	1988	DBLP DOI BibTeX RDF	pomset, causal precedence, concurrent, computation, process, event, deadlock, partial order, action, state, transition system, automaton, shared resource, dining philosophers, simultaneous
26	Samy Abbes, Albert Benveniste	Concurrency, sigma-Algebras, and Probabilistic Fairness.	FoSSaCS	2009	DBLP DOI BibTeX RDF	Probabilistic Petri nets, probabilistic event structures, probabilistic fairness, true-concurrency
26	Zining Cao	A True Concurrent Process Calculus and Its Conflict Bisimulation.	SNPD	2009	DBLP DOI BibTeX RDF	Bisimulation, Process Calculus, True Concurrency
26	Eric Fabre	Trellis Processes : A Compact Representation for Runs of Concurrent Systems.	Discret. Event Dyn. Syst.	2007	DBLP DOI BibTeX RDF	True concurrency semantics, Petri net, Diagnosis, Product, Factorization, Concurrent system, Unfolding, Category theory, Branching process, Trellis
26	Mila E. Majster-Cederbaum, Jinzhao Wu	Action Refinement for True Concurrent Real Time.	ICECCS	2001	DBLP DOI BibTeX RDF	timed event structure, timed process algebra, action refinement, true concurrency
26	David H. Pitt, M. W. Shields	Overtaking in Asynchronous Periodic Systems.	Formal Aspects Comput.	1999	DBLP DOI BibTeX RDF	Vector languages, Periodicity, Asynchrony, True concurrency
26	Jos C. M. Baeten, Jan A. Bergstra	Non Interleaving Process Algebra.	CONCUR	1993	DBLP DOI BibTeX RDF	non-interleaving, Petri net, interleaving, true concurrency, ACP, & Phrases process algebra
26	Pierpaolo Degano, Roberto Gorrieri, Giuseppe Rosolini	A Categorial View of Process Refinement.	REX Workshop	1992	DBLP DOI BibTeX RDF	concurrent programs, categories, event structures, true concurrency, Hierarchical specifications
26	Jean Fanchon	Dynamic Concurrent Processes.	PARLE	1992	DBLP DOI BibTeX RDF	dynamic placement, graphs, operational semantics, communicating processes, true concurrency
26	Jean Fanchon, D. Millot	Models for Dynamically Placed Concurrent Processes.	PARLE (2)	1991	DBLP DOI BibTeX RDF	Key-words true concurrency, dynamic placement, networks, operational semantics, bisimulation, partial orders
26	Ludmila Cherkasova, Vadim E. Kotov	Descriptive and analytical process algebras.	European Workshop on Applications and Theory in Petri Nets	1988	DBLP DOI BibTeX RDF	concurrent nondeterministic processes, non-actions, occurrence nets, A-nets, M-density, Petri nets, denotational semantics, partially ordered sets, true concurrency
23	José Meseguer 0001, Carolyn L. Talcott	A Partial Order Event Model for Concurrent Objects.	CONCUR	1999	DBLP DOI BibTeX RDF
23	Paris C. Kanellakis, Dimitrios Michailidis, Alexander A. Shvartsman	Efficient Parallelism vs Reliable Distribution: A Trade-off for Concurrent Computations.	CONCUR	1994	DBLP DOI BibTeX RDF
23	Rocco De Nicola, Gian-Luigi Ferrari 0002	Observational Logics and Concurrency Models.	FSTTCS	1990	DBLP DOI BibTeX RDF
22		True Concurrency Can Be Easy.	CoRR	2022	DBLP DOI BibTeX RDF
22	Imane Haur, Jean-Luc Béchennec, Olivier H. Roux	High-level Colored Time Petri Nets for true concurrency modeling in real-time software.	CoDIT	2022	DBLP DOI BibTeX RDF
22	Irina B. Virbitskaite, Andrey Yu Zubarev	'True Concurrency' Semantics for Time Petri Nets with Weak Time and Persistent Atomic Policies.	Program. Comput. Softw.	2021	DBLP DOI BibTeX RDF
22	Adriano Augusto, Marlon Dumas, Marcello La Rosa	Automated Discovery of Process Models with True Concurrency and Inclusive Choices.	CoRR	2021	DBLP BibTeX RDF
22	Yong Wang	Probabilistic Process Algebra for True Concurrency.	CoRR	2021	DBLP BibTeX RDF
22	Nadia Chabbat, Djamel-Eddine Saïdouni, Radja Boukharrou, Salim Ghanemi	Formal Verification of UML MARTE Specifications Based on a True Concurrency Real Time Model.	Comput. Informatics	2020	DBLP DOI BibTeX RDF
22	Paolo Baldan, Tommaso Padoan	Model Checking a Logic for True Concurrency.	ACM Trans. Comput. Log.	2020	DBLP DOI BibTeX RDF
22	Yong Wang	On the Parallel Composition for True Concurrency.	CoRR	2020	DBLP BibTeX RDF
22	Roberto Gorrieri	Interleaving vs True Concurrency: Some Instructive Security Examples.	Petri Nets	2020	DBLP DOI BibTeX RDF
22	Juliana Küster Filipe Bowles, Marco B. Caminati	A Formally Verified SMT Approach to True Concurrency.	CILC	2020	DBLP BibTeX RDF
22	Lavindra de Silva	An Operational Semantics for True Concurrency in BDI Agent Systems.	AAAI	2020	DBLP DOI BibTeX RDF
22	Adriano Augusto, Marlon Dumas, Marcello La Rosa	Automated Discovery of Process Models with True Concurrency and Inclusive Choices.	ICPM Workshops	2020	DBLP DOI BibTeX RDF
22	Wojciech Penczek	All True Concurrency Models Start with Petri Nets: A Personal Tribute to Carl Adam Petri.	Carl Adam Petri: Ideas, Personality, Impact	2019	DBLP DOI BibTeX RDF
22	Damiano Mazza	The true concurrency of differential interaction nets.	Math. Struct. Comput. Sci.	2018	DBLP DOI BibTeX RDF
22	Yong Wang	Structured Parallel Programming Language Based on True Concurrency.	CoRR	2018	DBLP BibTeX RDF
22	Liangze Yin, Wei Dong 0006, Fei He, Ji Wang 0001	A True-Concurrency Encoding for BMC of Compositional Systems.	Comput. J.	2018	DBLP DOI BibTeX RDF
22	Paolo Baldan, Tommaso Padoan	Automata for True Concurrency Properties.	FoSSaCS	2018	DBLP DOI BibTeX RDF
22	Tommaso Padoan	Relating some Logics for True Concurrency.	ICTCS	2018	DBLP BibTeX RDF
22	Aurore Alcolei, Pierre Clairambault, Martin Hyland, Glynn Winskel	The True Concurrency of Herbrand's Theorem.	CSL	2018	DBLP DOI BibTeX RDF
22	Yong Wang	An Algebra of Actors Based on True Concurrency.	CoRR	2017	DBLP BibTeX RDF
22	Paolo Baldan, Tommaso Padoan	Local Model Checking in a Logic for True Concurrency.	FoSSaCS	2017	DBLP DOI BibTeX RDF
22	Jérémy Dubut	Directed homotopy and homology theories for geometric models of true concurrency. (Théories homotopiques et homologiques dirigées pour des modèles géométriques de la vraie concurrence).		2017	RDF
22	Yong Wang	Algebraic Laws for True Concurrency.	CoRR	2016	DBLP BibTeX RDF
22	Yong Wang	Weakly True Concurrency and Its Logic.	CoRR	2016	DBLP BibTeX RDF
22	Farid Arfi, Jean-Michel Ilié, Djamel-Eddine Saïdouni	Solving preemptive job-shop scheduling problems using a true concurrency model.	Int. J. Simul. Process. Model.	2016	DBLP DOI BibTeX RDF
22	Ozan Kahramanogullari	True Concurrency of Deep Inference Proofs.	WoLLIC	2016	DBLP DOI BibTeX RDF
22	Sotiris Moschoyiannis, Paul J. Krause	True Concurrency in Long-running Transactions for Digital Ecosystems.	Fundam. Informaticae	2015	DBLP DOI BibTeX RDF
22	Brijesh Dongol, John Derrick	Interval-based data refinement: A uniform approach to true concurrency in discrete and real-time systems.	Sci. Comput. Program.	2015	DBLP DOI BibTeX RDF
22	Souad Guellati, Ilham Kitouni, Riadh Matmat, Djamel-Eddine Saïdouni	True Concurrency Semantics: Towards a Verification of Timed Systems.	Int. J. Embed. Real Time Commun. Syst.	2014	DBLP DOI BibTeX RDF
22	Paolo Baldan, Silvia Crafa	A Logic for True Concurrency.	J. ACM	2014	DBLP DOI BibTeX RDF
22	Nabil Belala, Djamel-Eddine Saïdouni, Radja Boukharrou, Ahmed-Chawki Chaouche, A. Seraoui, A. Chachoua	Time Petri Nets with Action Duration: A True Concurrency Real-Time Model.	Int. J. Embed. Real Time Commun. Syst.	2013	DBLP DOI BibTeX RDF
22	Brijesh Dongol, John Derrick	Data refinement for true concurrency	Refine@IFM	2013	DBLP DOI BibTeX RDF
22	Paolo Baldan, Silvia Crafa	A Logic for True Concurrency	CoRR	2011	DBLP BibTeX RDF
22	Julian Gutierrez 0001	Logics and Games for True Concurrency	CoRR	2010	DBLP BibTeX RDF
22	Javier Esparza	A False History of True Concurrency: From Petri to Tools.	SPIN	2010	DBLP DOI BibTeX RDF
22	Paolo Baldan, Silvia Crafa	A Logic for True Concurrency.	CONCUR	2010	DBLP DOI BibTeX RDF
22	Javier Esparza	A False History of True Concurrency: From Petri to Tools.	ICGT	2010	DBLP DOI BibTeX RDF
22	Monika Kapus-Kolar	An action refinement operator for E-LOTOS with true concurrency.	Comput. Stand. Interfaces	2009	DBLP DOI BibTeX RDF
22	Samy Abbes, Albert Benveniste	True-concurrency probabilistic models: Markov nets and a law of large numbers.	Theor. Comput. Sci.	2008	DBLP DOI BibTeX RDF
22	Sibylle B. Fröschle, Slawomir Lasota 0001	Causality versus true-concurrency.	Theor. Comput. Sci.	2007	DBLP DOI BibTeX RDF
22	Monika Kapus-Kolar	Enhanced event structures: Towards a true concurrency semantics for E-LOTOS.	Comput. Stand. Interfaces	2007	DBLP DOI BibTeX RDF
22	Paul-André Melliès	Asynchronous games 2: The true concurrency of innocence.	Theor. Comput. Sci.	2006	DBLP DOI BibTeX RDF
22	Samy Abbes, Albert Benveniste	True-concurrency probabilistic models: Branching cells and distributed probabilities for event structures.	Inf. Comput.	2006	DBLP DOI BibTeX RDF
22	Syed Suhaib, Deepak Mathaikutty, Sandeep K. Shukla, Jean-Pierre Talpin	Polychronous Methodology For System Design: A True Concurrency Approach.	HLDVT	2006	DBLP DOI BibTeX RDF
22	Sibylle B. Fröschle, Slawomir Lasota 0001	Causality Versus True-Concurrency.	EXPRESS	2005	DBLP DOI BibTeX RDF
22	Marc L. Smith	Unifying Theories of Programming: CSP + Lazy Observation = True Concurrency.	FCS	2005	DBLP BibTeX RDF
22	Marc L. Smith	A Unifying Theory of True Concurrency Based on CSP and Lazy Observation.	CPA	2005	DBLP BibTeX RDF
22	Adrian E. Lawrence	CSP extended: imperative state and true concurrency.	IEE Proc. Softw.	2003	DBLP DOI BibTeX RDF
22	Claude Jard	Synthesis of distributed testers from true-concurrency models of reactive systems.	Inf. Softw. Technol.	2003	DBLP DOI BibTeX RDF
22	Slawomir Lasota 0001	A Polynomial-Time Algorithm for Deciding True Concurrency Equivalences of Basic Parallel Processes.	MFCS	2003	DBLP DOI BibTeX RDF
22	Harald Fecher, Mila E. Majster-Cederbaum, Jinzhao Wu	Refinement of actions in a real-time process algebra with a true concurrency model.	Refine	2002	DBLP DOI BibTeX RDF
22	Julian C. Bradfield, Sibylle B. Fröschle	Independence-Friendly Modal Logic and True Concurrency.	Nord. J. Comput.	2002	DBLP BibTeX RDF
22	Harald Fecher, Mila E. Majster-Cederbaum, Jinzhao Wu	Action Refinement for Probabilistic Processes with True Concurrency Models.	PAPM-PROBMIV	2002	DBLP DOI BibTeX RDF
22	Claude Jard	Principles of Distributed Test Synthesis based on True-concurrency Models.	TestCom	2002	DBLP BibTeX RDF
22	Lutz Priese, Harro Wimmel	A Uniform Approach to True-Concurrency and Interleaving Semantics for Petri Nets.	Theor. Comput. Sci.	1998	DBLP DOI BibTeX RDF
22	Howard Bowman, Joost-Pieter Katoen	A True Concurrency Semantics for ET-LOTOS.	ACSD	1998	DBLP DOI BibTeX RDF
22	Chiara Bodei, Corrado Priami	True Concurrency via Abstract Interpretation.	SAS	1997	DBLP DOI BibTeX RDF
22	Howard Bowman, John Derrick	Extending LOTOS with Time: A True Concurrency Perspective.	ARTS	1997	DBLP DOI BibTeX RDF
22	Abdelkader Dekdouk	Modèles algébriques pour le parallélisme vrai et le raffinement d'actions. (Algebraic models for true-concurrency and action refinement).		1997	RDF
22	Lalita Jategaonkar, Albert R. Meyer	Deciding True Concurrency Equivalences on Safe, Finite Nets.	Theor. Comput. Sci.	1996	DBLP DOI BibTeX RDF
22		Debate '90: An electronic discussion on true concurrency.	Partial Order Methods in Verification	1996	DBLP DOI BibTeX RDF
22	Lalita Jategaonkar Jagadeesan, Radha Jagadeesan	Causality and True Concurrency: A Data-flow Analysis of the Pi-Calculus (Extended Abstract).	AMAST	1995	DBLP DOI BibTeX RDF
22	Howard Bowman, John Derrick	A True Concurrency Semantics for Quality of Service Specification and Validation.	MMNET	1995	DBLP BibTeX RDF