|
|
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 |
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 |
|
Displaying result #1 - #45 of 45 (100 per page; Change: )
|
|