Search results for "multisets"

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]