Detail publikace

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

Typ

výzkumná zpráva

Jazyk

angličtina

Klíčová slova

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

Autoři

URBÁŠEK, M.

Vydáno

1. 1. 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"
}