uu.seUppsala University Publications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Pushdown automata, multiset automata, and Petri nets
Uppsala University, Teknisk-naturvetenskapliga vetenskapsområdet, Mathematics and Computer Science, Department of Information Technology. COMPUTING SCIENCE DEPARTMENT.
2001 (English)In: THEORETICAL COMPUTER SCIENCE, ISSN 0304-3975, Vol. 256, no 1-2, 3-21 p.Article in journal (Refereed) Published
Abstract [en]

In this paper, we consider various classes of (infinite-state) automata generated by simple rewrite transition systems. These classes are defined by two natural hierarchies, one given by interpreting concatenation of symbols in the rewrite system as seque

Place, publisher, year, edition, pages
ELSEVIER SCIENCE BV , 2001. Vol. 256, no 1-2, 3-21 p.
Keyword [en]
automata; bisimulation; concurrency; Petri nets; rewrite systems; CONTEXT-FREE PROCESSES; BISIMULATION EQUIVALENCE; DECIDING BISIMILARITY; FREE LANGUAGES; FAST ALGORITHM; DECIDABILITY
Identifiers
URN: urn:nbn:se:uu:diva-36508OAI: oai:DiVA.org:uu-36508DiVA: diva2:64407
Note
Addresses: Moller F, Univ Uppsala, Dept Comp Sci, POB 311, S-75105 Uppsala, Sweden. Univ Uppsala, Dept Comp Sci, S-75105 Uppsala, Sweden. Tel Aviv Univ, Sch Math Sci, IL-69978 Tel Aviv, Israel.Available from: 2008-10-17 Created: 2008-10-17 Last updated: 2011-01-13

Open Access in DiVA

No full text

By organisation
Department of Information Technology

Search outside of DiVA

GoogleGoogle Scholar

urn-nbn

Altmetric score

urn-nbn
Total: 400 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf