The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for pomsets with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1987-1993 (15) 1995-2000 (16) 2001-2007 (15) 2012-2024 (14)
Publication types (Num. hits)
article(15) inproceedings(45)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 34 occurrences of 30 keywords

Results
Found 60 publication records. Showing 60 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
116Dietrich Kuske Asynchronous Cellular Automata and Asynchronous Automata for Pomsets. Search on Bibsonomy CONCUR The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
99Jean Fanchon, Rémi Morin Regular Sets of Pomsets with Autoconcurrency. Search on Bibsonomy CONCUR The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
99Manfred Droste, Paul Gastin Asynchronous Cellular Automata for Pomsets Without Auto-concurrency. Search on Bibsonomy CONCUR The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
99Bard Bloom, Marta Z. Kwiatkowska Trade-Offs in True Concurrency: Pomsets and Mazurkiewicz Traces. Search on Bibsonomy MFPS The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
81Bastian Dölle Transforming Linear Terms of Algebraic Specifications Into Extended Pomsets. Search on Bibsonomy SNPD The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
81Zoltán Ésik, Satoshi Okawa Series and Parallel Operations on Pomsets. Search on Bibsonomy FSTTCS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
81Luca Aceto Full Abstraction for Series-Parallel Pomsets. Search on Bibsonomy TAPSOFT, Vol.1 The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
68J. W. de Bakker, J. H. A. Warmerdam Metric Pomset Semantics for a Concurrnt Language with Recursion. Search on Bibsonomy Semantics of Systems of Concurrent Processes The full citation details ... 1990 DBLP  DOI  BibTeX  RDF pomsets, metric topology, operational semantics, denotational semantics, true concurrency, proof rule
63Dietrich Kuske A Model Theoretic Proof of Büchi-Type Theorems and First-Order Logic for N-Free Pomsets. Search on Bibsonomy STACS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
63Dietrich Kuske, Rémi Morin Pomsets for Local Trace Languages - Recognizability, Logic & Petri Nets. Search on Bibsonomy CONCUR The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
63Gian-Luigi Ferrari 0002, Ugo Montanari The Observation Algebra of Spatial Pomsets. Search on Bibsonomy CONCUR The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
55Irrinki Gnana Sudha, R. S. Selvaraj MacWilliams type identities for linear codes on certain pomsets: Chain, direct and ordinal sum of pomsets. Search on Bibsonomy Discret. Math. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
53Dietrich Kuske Infinite Series-Parallel Posets: Logic and Languages. Search on Bibsonomy ICALP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
53Haim Gaifman Modeling concurrency by partial orders and nonlinear transition systems. Search on Bibsonomy REX Workshop The full citation details ... 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
45Stephen D. Brookes Traces, Pomsets, Fairness and Full Abstraction for Communicating Processes. Search on Bibsonomy CONCUR The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
45Dietrich Kuske Recognizable Sets of N-Free Pomsets Are Monadically Axiomatizable. Search on Bibsonomy Developments in Language Theory The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
45Stéphane Grumbach, Tova Milo An Algebra for Pomsets. Search on Bibsonomy ICDT The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
36Hamdi Yahyaoui, Mourad Debbabi, Nadia Tawbi A Denotational Semantic Model for Validating JVML/CLDC Optimizations under Isabelle/HOL. Search on Bibsonomy QSIC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
36Benedikt Bollig On the Expressiveness of Asynchronous Cellular Automata. Search on Bibsonomy FCT The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
36Harro Wimmel, Lutz Priese Algebraic Characterization of Petri Net Pomset Semantics. Search on Bibsonomy CONCUR The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
36Joan Feigenbaum, Jeremy A. Kahn, Carsten Lund Complexity Results for POMSET Languages. Search on Bibsonomy CAV The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
36David K. Probst, Hon Fung Li Using Partial-Order Semantics to Avoid the State Explosion Problem in Asynchronous Systems. Search on Bibsonomy CAV The full citation details ... 1990 DBLP  DOI  BibTeX  RDF delay-insensitive system, branching point, recurrence structure, behavior machine, behavior state, model checking, state explosion, partial-order semantics
36John-Jules Ch. Meyer, Erik P. de Vink Pomset Semantics for True Concurrency with Synchronization and Recursion (Extended Abstract). Search on Bibsonomy MFCS The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
33Antoni W. Mazurkiewicz Compositional Semantics of Pure Place/ Transition Systems. Search on Bibsonomy European Workshop on Applications and Theory of Petri Nets The full citation details ... 1987 DBLP  DOI  BibTeX  RDF pomsets, Petri nets, semantics, concurrency, modularity, algebras, Compositionality
27Amazigh Amrane, Hugo Bazille, Emily Clement, Uli Fahrenberg, Krzysztof Ziemianski Presenting Interval Pomsets with Interfaces. Search on Bibsonomy CoRR The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
27Luc Edixhoven, Sung-Shik Jongmans, José Proença, Ilaria Castellani Branching pomsets: Design, expressiveness and applications to choreographies. Search on Bibsonomy J. Log. Algebraic Methods Program. The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
27Wen Ma, Jinquan Luo MacWilliams Type Identities for Linear Block Codes on Certain Pomsets. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
27Luc Edixhoven, Sung-Shik Jongmans, José Proença, Guillermina Cledou Branching Pomsets for Choreographies. Search on Bibsonomy ICE The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
27Luc Edixhoven, Sung-Shik Jongmans Realisability of Branching Pomsets. Search on Bibsonomy FACS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
27Radha Jagadeesan, Alan Jeffrey, James Riely Pomsets with preconditions: a simple model of relaxed memory. Search on Bibsonomy Proc. ACM Program. Lang. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
27Paul Brunet, David J. Pym Pomsets with Boxes: Protection, Separation, and Locality in Concurrent Kleene Algebra. Search on Bibsonomy FSCD The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
27Paul Brunet, David J. Pym Pomsets with Boxes: Protection, Separation, and Locality in Concurrent Kleene Algebra. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
27Roberto Guanciale, Emilio Tuosto Realisability of pomsets. Search on Bibsonomy J. Log. Algebraic Methods Program. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
27Roberto Guanciale DiRPOMS: Automatic Checker of Distributed Realizability of POMSets. Search on Bibsonomy COORDINATION The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
27Roberto Guanciale, Emilio Tuosto Realisability of Pomsets via Communicating Automata. Search on Bibsonomy ICE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
27Thomas Chatain, Maurice Comlan, David Delfieu, Loïg Jezequel, Olivier H. Roux Pomsets and Unfolding of Reset Petri Nets. Search on Bibsonomy LATA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
27Dan Teodosiu 0001 A Truly Concurrent Process Semantics over Multi-Pomsets of Consumable Resources. Search on Bibsonomy MFPS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
27Thomas Gazagnaire, Loïc Hélouët Event Correlation with Boxed Pomsets. Search on Bibsonomy FORTE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
27Dietrich Kuske Towards a language theory for infinite N-free pomsets. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
27Dietrich Kuske, Rémi Morin Pomsets for Local Trace Languages. Search on Bibsonomy J. Autom. Lang. Comb. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
27Paul Gastin, Michael W. Mislove A truly concurrent semantics for a process algebra using resource pomsets. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
27Manfred Droste, Paul Gastin, Dietrich Kuske Asynchronous cellular automata for pomsets. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
27Stéphane Grumbach, Tova Milo An Algebra for Pomsets. Search on Bibsonomy Inf. Comput. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
27Joost-Pieter Katoen, Lennard Lambert Pomsets for MSC. Search on Bibsonomy FBT The full citation details ... 1998 DBLP  BibTeX  RDF
27Józef Winkowski Concatenable Weighted Pomsets and Their Applications to Modelling Processes of Petri Nets. Search on Bibsonomy Fundam. Informaticae The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
27Arend Rensink Algebra and Theory of Order-Deterministic Pomsets. Search on Bibsonomy Notre Dame J. Formal Log. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
27Gordon D. Plotkin, Vaughan R. Pratt Teams can see pomsets. Search on Bibsonomy Partial Order Methods in Verification The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
27Jay L. Gischer The Equational Theory of Pomsets. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
18Robert Lorenz 0001, Gabriel Juhás Towards Synthesis of Petri Nets from Scenarios. Search on Bibsonomy ICATPN The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
18Irina B. Virbitskaite, Natalya S. Gribovskaja Open Maps and Trace Semantics for Timed Partial Order Models. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2003 DBLP  DOI  BibTeX  RDF timed event structures, trace equivalence, Category theory, partial order semantics
18Vaughan R. Pratt Event-State Duality: The Enriched Case. Search on Bibsonomy CONCUR The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
18Carmelo Del Valle, Miguel Toro, Rafael Ceballos, Jesús S. Aguilar-Ruiz A Pomset-Based Model for Estimating Workcells' Setups in Assembly Sequence Planning. Search on Bibsonomy IBERAMIA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
18Dietrich Kuske Emptiness Is Decidable for Asynchronous Cellular Machines. Search on Bibsonomy CONCUR The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
18Glynn Winskel Event Structures as Presheaves -Two Representation Theorems. Search on Bibsonomy CONCUR The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
18Kim 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
18David K. Probst, Hon Fung Li Verifying Timed Behavior Automata with Input/Output Critical Races. Search on Bibsonomy CAV The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
18Vladimiro Sassone, Mogens Nielsen, Glynn Winskel Deterministic Behavioural Models for Concurrency. Search on Bibsonomy MFCS The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
18Gian-Luigi Ferrari 0002 On Causality Observed Incrementally, Finally. Search on Bibsonomy TAPSOFT, Vol.1 The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
18Antoni W. Mazurkiewicz Concurrency, Modularity, and Synchronization. Search on Bibsonomy MFCS The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
18Mogens Nielsen, Uffe Engberg, Kim S. Larsen Fully abstract models for a process language with refinement. Search on Bibsonomy REX Workshop The full citation details ... 1988 DBLP  DOI  BibTeX  RDF change of atomicity, noninterleaved models, labelled partial orders, semiwords, concurrency, full abstraction
Displaying result #1 - #60 of 60 (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