The wadge hierarchy of Petri Nets ω-languages

, &
In Jean-Pierre Ressayre, Olivier Finkel & Jacques Duparc (eds.), The wadge hierarchy of Petri Nets ω-languages. pp. 109-138 (2014)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1515/9781614518044.109

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,873

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Chapters

The wadge hierarchy of Petri Nets ω-languages.  (pages 109-138)Jean-Pierre Ressayre, Olivier Finkel & Jacques Duparc

Similar books and articles

On the Decidability of Model Checking for Several [Mu]-Calculi and Petri Nets.Javier Esparza - 1993 - LFCS, Department of Computer Science, University of Edinburgh.
Borel-amenable reducibilities for sets of reals.Luca Motto Ros - 2009 - Journal of Symbolic Logic 74 (1):27-49.
Completeness results for linear logic on Petri nets.Uffe Engberg & Glynn Winskel - 1997 - Annals of Pure and Applied Logic 86 (2):101-135.
Petri nets applied to experimental plant morphogenesis.Jacqueline Luck & Hermann B. Luck - 1991 - Acta Biotheoretica 39 (3-4):235-252.
Wadge hierarchy and veblen hierarchy part I: Borel sets of finite rank.J. Duparc - 2001 - Journal of Symbolic Logic 66 (1):56-86.
Topological complexity of locally finite ω-languages.Olivier Finkel - 2008 - Archive for Mathematical Logic 47 (6):625-651.
Hierarchies in φ‐spaces and applications.Victor L. Selivanov - 2005 - Mathematical Logic Quarterly 51 (1):45-61.
The completeness of linear logic for Petri net models.K. Ishihara & K. Hiraishi - 2001 - Logic Journal of the IGPL 9 (4):549-567.
Monotone reducibility and the family of infinite sets.Douglas Cenzer - 1984 - Journal of Symbolic Logic 49 (3):774-782.
The rod and the crocodile. Temporal relations in textual hermeneutics: An application of Petri nets to semantics.Ephraim Nissan - 2011 - Semiotica 2011 (184):187-227.
Order algebras as models of linear logic.Constantine Tsinakis & Han Zhang - 2004 - Studia Logica 76 (2):201 - 225.
Well (and better) quasi-ordered transition systems.Parosh Aziz Abdulla - 2010 - Bulletin of Symbolic Logic 16 (4):457-515.
Restorations of punctured languages and similarity of languages.Gerhard Lischke - 2006 - Mathematical Logic Quarterly 52 (1):20-28.
The Box Calculus a New Causal Algebra with Multilabel Communication.Eike Best & Jon Hall - 1992 - University of Newcastle Upon Tyne, Computing Laboratory.
Verifying Temporal Properties of Systems.J. C. Bradfield - 1992 - Birkhauser.

Analytics

Added to PP
2015-03-31

Downloads
13 (#1,060,918)

6 months
7 (#486,337)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references