Detail výsledku s přesahem do praxe

Bisimulation relations in categories of A-labelled Petri nets and the connection of CCS and Petri nets

URBÁŠEK, M.

Originální název

Bisimulation relations in categories of A-labelled Petri nets and the connection of CCS and Petri nets

Anglický název

Bisimulation relations in categories of A-labelled Petri nets and the connection of CCS and Petri nets

Druh

Výzkumná zpráva

Klíčová slova

Petri net, process algebras, CCS, bisimulation, category, translation algorithm.

Klíčová slova v angličtině

Petri net, process algebras, CCS, bisimulation, category, translation algorithm.

Autoři

URBÁŠEK, M.

Vydáno

01.01.1999

Nakladatel

unknown

Místo

Huddersfield, Great Britain

Strany počet

77

BibTex

@techreport{BUT191503,
  author="Milan {Urbášek}",
  title="Bisimulation relations in categories of A-labelled Petri nets and the connection of CCS and Petri nets",
  year="1999",
  publisher="unknown",
  address="Huddersfield, Great Britain",
  pages="77"
}