The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase non-interleaving (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1984-1997 (15) 1998-2002 (15) 2003-2022 (15)
Publication types (Num. hits)
article(9) book(1) inproceedings(35)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 25 occurrences of 19 keywords

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