Detail publikace

Categories in Modelling

URBÁŠEK, M. Categories in Modelling. Proceedings of the 34th International Conference Modelling and Simulation of Systems - MOSIS 2000. Rožnov pod Radhoštěm: 2000. p. 21-28. ISBN: 80-85988-44-5.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Urbášek Milan, Ing.
URL
Klíčová slova

Category theory, modelling, simulation language, bisimulation, Petri nets.

Abstrakt

The aim of this paper is to discuss possible use of category theory as a helpful formalism for certain problems involved in the area of modelling and simulation e.g categories of modelling languages and Petri nets.

Rok
2000
Strany
21–28
Sborník
Proceedings of the 34th International Conference Modelling and Simulation of Systems - MOSIS 2000
Konference
34th Spring International Conference on Modeling and Simulation of Systems MOSIS 2000, Rožnov pod Radhoštěm, CZ
ISBN
80-85988-44-5
Místo
Rožnov pod Radhoštěm
BibTeX 
@inproceedings{BUT191497,
  author="Milan {Urbášek}",
  title="Categories in Modelling",
  booktitle="Proceedings of the 34th International Conference Modelling and Simulation of Systems - MOSIS 2000",
  year="2000",
  pages="21--28",
  address="Rožnov pod Radhoštěm",
  isbn="80-85988-44-5",
  url="http://www.fit.vutbr.cz/~urbasek/Publikace/mosis2000.ps.gz"
}
Nahoru