|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 115 occurrences of 80 keywords
|
|
|
Results
Found 161 publication records. Showing 161 according to the selection in the facets
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 |
|
Displaying result #1 - #100 of 161 (100 per page; Change: ) Pages: [ 1][ 2][ >>] |
|