Search results for "non-interleaving"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
59	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
55	Sungchang Lee, Ilyoung Chong	A Packet-Aware Non-interleaving Scheduling Algorithm with Multiple Classes for Input-Queued Switch.	ICOIN (1)	2002	DBLP DOI BibTeX RDF
54	Young-Ki Hong, Sungchang Lee, Hyeong Ho Lee	Shortest and Oldest First Non-interleaving Packet Switching Scheduling Algorithm.	ICOIN (1)	2002	DBLP DOI BibTeX RDF
41	Chiara Bodei, Pierpaolo Degano, Corrado Priami	Constructing Specific SOS Semantics for Concurrency via Abstract Interpretation.	SAS	1998	DBLP DOI BibTeX RDF	SOS semantics, non-interleaving descriptions, Concurrency, abstract interpretation, causality
36	Guang Zheng, Shaorong Li, Jinzhao Wu, Lian Li	A Non-interleaving Denotational Semantics of Value Passing CCS with Action Refinement.	FAW	2007	DBLP DOI BibTeX RDF	value passing CCS, valued stable event structures, valued labeled configuration structures, semantics, action refinement
35	Howard Bowman, Joost-Pieter Katoen	A True Concurrency Semantics for ET-LOTOS.	ACSD	1998	DBLP DOI BibTeX RDF
33	Michele Boreale, Davide Sangiorgi	A Fully Abstract Semantics for Causality in the \pi-Calculus.	Acta Informatica	1998	DBLP DOI BibTeX RDF
28	Pierpaolo Degano, Corrado Priami, Lone Leth Thomsen, Bent Thomsen	Analysis of Facile Programs: A Case Study.	LOMAPS	1996	DBLP DOI BibTeX RDF
27	Qiang Liu, Dong Tong 0001, Xu Cheng 0001	Non-interleaving architecture for hardware implementation of modular multiplication.	ISCAS (1)	2005	DBLP DOI BibTeX RDF
27	Astrid Kiehn	On the Decidability of Non-Interleaving Process Equivalences.	CONCUR	1994	DBLP DOI BibTeX RDF
27	Marta Z. Kwiatkowska	Defining Process Fairness for Non-Interleaving Concurrency.	FSTTCS	1990	DBLP DOI BibTeX RDF
27	Kim Sunesen, Mogens Nielsen	Behavioural Equivalence for Infinite Systems - Partially Decidable!	Application and Theory of Petri Nets	1996	DBLP DOI BibTeX RDF	Behavioural Equivalence, Petri Nets, Decidability, Process Calculi, Partial Order Methods
25	Gian Luca Cattani, Peter Sewell	Models for Name-Passing Processes: Interleaving and Causal.	LICS	2000	DBLP DOI BibTeX RDF
18	Clément Aubert, Ross Horne, Christian Johansen	Bisimulations Respecting Duration and Causality for the Non-interleaving Applied π-Calculus.	EXPRESS/SOS	2022	DBLP DOI BibTeX RDF
18	Clément Aubert, Ross Horne, Christian Johansen	Diamonds for Security: A Non-Interleaving Operational Semantics for the Applied Pi-Calculus.	CONCUR	2022	DBLP DOI BibTeX RDF
18	Thomas Troels Hildebrandt, Christian Johansen, Håkon Normann	A stable non-interleaving early operational semantics for the pi-calculus.	J. Log. Algebraic Methods Program.	2019	DBLP DOI BibTeX RDF
18	Thomas Troels Hildebrandt, Christian Johansen, Håkon Normann	A Stable Non-interleaving Early Operational Semantics for the Pi-Calculus.	LATA	2017	DBLP DOI BibTeX RDF
18	Gabriel Ciobanu, Ross Horne	Non-interleaving Operational Semantics for Geographically Replicated Databases.	SYNASC	2013	DBLP DOI BibTeX RDF
18	Sibylle B. Fröschle, Petr Jancar, Slawomir Lasota 0001, Zdenek Sawa	Non-interleaving bisimulation equivalences on Basic Parallel Processes.	Inf. Comput.	2010	DBLP DOI BibTeX RDF
18	Emmanuel Beffara	Quantitative testing semantics for non-interleaving	CoRR	2009	DBLP BibTeX RDF
18	Pawel Sobocinski 0001	A non-interleaving process calculus for multi-party synchronisation	ICE	2009	DBLP DOI BibTeX RDF
18	Oana Agrigoroaiei, Gabriel Ciobanu	Non-interleaving Semantics with Causality for Nondeterministic Dataflow.	ICTAC	2008	DBLP DOI BibTeX RDF
18	Pierpaolo Degano, Corrado Priami	Non-Interleaving Semantics for Mobile Processes.	Theor. Comput. Sci.	1999	DBLP DOI BibTeX RDF
18	Alexander L. Stolyar, K. K. Ramakrishnan	The Stability of a Flow Merge Point with Non-Interleaving Cut-Through Scheduling Disciplines.	INFOCOM	1999	DBLP DOI BibTeX RDF
18	J. Condom, K. Ouriachi	Contribution to the Specification in Z of Concurrency under a Non-Interleaving Semantics.	PDSE	1998	DBLP DOI BibTeX RDF
18	Astrid Kiehn, Matthew Hennessy	On the Decidability of Non-Interleaving Process Equivalences.	Fundam. Informaticae	1997	DBLP DOI BibTeX RDF
18	Michael W. Shields	Semantics of parallelism - non-interleaving representation of behaviour.		1997	RDF
18	Roberta Borgia, Pierpaolo Degano, Corrado Priami, Lone Leth Thomsen, Bent Thomsen	Understanding Mobile Agents via a Non-Interleaving Semantics for Facile.	SAS	1996	DBLP DOI BibTeX RDF
18	Rom Langerak	Bundle event structures: a non-interleaving semantics for LOTOS.	FORTE	1992	DBLP BibTeX RDF
18	Marta Z. Kwiatkowska	Event Fairness and Non-interleaving Concurrency.	Formal Aspects Comput.	1989	DBLP DOI BibTeX RDF
17	Ursula Goltz	On Representing CCS Programs by Finite Petri Nets.	MFCS	1988	DBLP DOI BibTeX RDF
12	Ralph Matthes	Parigot's Second Order lambda-mu-Calculus and Inductive Types.	TLCA	2001	DBLP DOI BibTeX RDF
11	Christel Baier, Joost-Pieter Katoen, Diego Latella	Metric Semantics for True Concurrent Real Time.	ICALP	1998	DBLP DOI BibTeX RDF
9	Ozan Kahramanogullari	On Linear Logic Planning and Concurrency.	LATA	2008	DBLP DOI BibTeX RDF
9	Mila E. Majster-Cederbaum, Jinzhao Wu	Towards action refinement for true concurrent real time.	Acta Informatica	2003	DBLP DOI BibTeX RDF
9	Slawomir Lasota 0001	A Polynomial-Time Algorithm for Deciding True Concurrency Equivalences of Basic Parallel Processes.	MFCS	2003	DBLP DOI BibTeX RDF
9	Olaf Henniger, Miao Lu, Hasan Ural	Automatic Generation of Test Purposes for Testing Distributed Systems.	FATES	2003	DBLP DOI BibTeX RDF
9	Harald Fecher, Mila E. Majster-Cederbaum, Jinzhao Wu	Action Refinement for Probabilistic Processes with True Concurrency Models.	PAPM-PROBMIV	2002	DBLP DOI BibTeX RDF
9	Marta Pietkiewicz-Koutny	Synthesis of Net Systems with Inhibitor Arcs from Step Transition Systems.	ACSD	2001	DBLP DOI BibTeX RDF	causality/partial order theory of concurrency, structure and behaviour of nets, analysis and synthesis, theory of regions
9	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
9	Pierpaolo Degano, Corrado Priami, Lone Leth Thomsen, Bent Thomsen	Causality for Debugging Mobile Agents.	Acta Informatica	1999	DBLP DOI BibTeX RDF
9	Marta Pietkiewicz-Koutny	Transition Systems of Elementary Net Systems with Inhibitor Arcs.	ICATPN	1997	DBLP DOI BibTeX RDF	causality/partial order theory of concurrency, structure and behaviour of nets, analysis and synthesis
9	Ursula Goltz, Heike Wehrheim	Causal Testing.	MFCS	1996	DBLP DOI BibTeX RDF
9	M. W. Shields	Behavioural Presentations.	REX Workshop	1988	DBLP DOI BibTeX RDF	behavioural presentations, asynchronous automata, Parallelism, concurrency, transition systems, event structures
9	Ursula Goltz, Wolfgang Reisig	CSP-programs with individual tokens.	European Workshop on Applications and Theory in Petri Nets	1984	DBLP DOI BibTeX RDF