|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 173 occurrences of 141 keywords
|
|
|
Results
Found 421 publication records. Showing 421 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
13 | Manfred Kudlek, Carlos Martín-Vide, Gheorghe Paun |
Toward a Formal Macroset Theory. |
WMP |
2000 |
DBLP DOI BibTeX RDF |
|
13 | Nuno Barreiro, Thomas Ehrhard |
Quantitative Semantics Revisited. |
TLCA |
1999 |
DBLP DOI BibTeX RDF |
|
13 | Marcello M. Bonsangue, Joost N. Kok, Gianluigi Zavattaro |
Comparing Software Architectures for Coordination Languages. |
COORDINATION |
1999 |
DBLP DOI BibTeX RDF |
|
13 | Denis Lugiez |
A Good Class of Tree Automata and Application to Inductive Theorem Proving. |
ICALP |
1998 |
DBLP DOI BibTeX RDF |
|
13 | Harald Ganzinger, Uwe Waldmann |
Theorem Proving in Cancellative Abelian Monoids (Extended Abstract). |
CADE |
1996 |
DBLP DOI BibTeX RDF |
|
13 | Paolo Ciancarini, Daniela Fogli, Mauro Gaspari |
A Logic Language based on GAMMA-like Multiset Rewriting. |
ELP |
1996 |
DBLP DOI BibTeX RDF |
|
13 | Timothy Griffin, Leonid Libkin |
Incremental Maintenance of Views with Duplicates. |
SIGMOD Conference |
1995 |
DBLP DOI BibTeX RDF |
|
13 | Joan Feigenbaum, Jeremy A. Kahn, Carsten Lund |
Complexity Results for POMSET Languages. |
CAV |
1991 |
DBLP DOI BibTeX RDF |
|
13 | Yolanda Ortega-Mallén, David de Frutos-Escrig |
A Complete Proof System for Timed Observations. |
TAPSOFT, Vol.1 |
1991 |
DBLP DOI BibTeX RDF |
|
13 | Heino Carstensen |
The complexity of testing the equivalence of transition sequences. |
Applications and Theory of Petri Nets |
1990 |
DBLP DOI BibTeX RDF |
Causality/partial order theory of concurrency Analysis and synthesis, structure and behaviour of nets Net-based semantical, logical and algebraic calculi |
13 | Rob J. van Glabbeek, Ursula Goltz |
Equivalences and Refinement. |
Semantics of Systems of Concurrent Processes |
1990 |
DBLP DOI BibTeX RDF |
|
13 | 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 |
13 | Filippo Cacace, Stefano Ceri, Stefano Crespi-Reghizzi, Letizia Tanca, Roberto V. Zicari |
Integrating Object-Oriented Data Modeling with a Rule-Based Programming Paradigm. |
SIGMOD Conference |
1990 |
DBLP DOI BibTeX RDF |
Datalog |
13 | Rob J. van Glabbeek, Ursula Goltz |
Equivalence Notions for Concurrent Systems and Refinement of Actions (Extended Abstract). |
MFCS |
1989 |
DBLP DOI BibTeX RDF |
|
13 | Ludmila Cherkasova |
On Models and Algebras for Concurrent Processes. |
MFCS |
1988 |
DBLP DOI BibTeX RDF |
|
13 | 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 |
13 | Yannis E. Ioannidis, Miron Livny |
Data Modeling in DeLAB. |
SIGMOD Conference |
1988 |
DBLP DOI BibTeX RDF |
|
13 | Bing-Chao Huang, Michael A. Langston |
Stable Set and Multiset Operations in Optimal Time and Space. |
PODS |
1988 |
DBLP DOI BibTeX RDF |
|
13 | Dirk Taubner, Walter Vogler |
The Step Failure Semantics. |
STACS |
1987 |
DBLP DOI BibTeX RDF |
|
13 | Hartmann J. Genrich |
Projections of C/E systems. |
Applications and Theory in Petri Nets |
1985 |
DBLP DOI BibTeX RDF |
|
13 | Glynn Winskel |
Petri nets, morphisms and compositionality. |
Applications and Theory in Petri Nets |
1985 |
DBLP DOI BibTeX RDF |
|
Displaying result #401 - #421 of 421 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5] |
|