Článek ve sborníku konference

URBÁŠEK Milan. Categories in Modelling. In: Proceedings of the 34th International Conference Modelling and Simulation of Systems - MOSIS 2000. Rožnov pod Radhoštěm: MARQ, 2000, s. 21-28. ISBN 80-85988-44-5.
Jazyk publikace:angličtina
Název publikace:Categories in Modelling
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
Místo vydání:Rožnov pod Radhoštěm, CZ
Rok:2000
ISBN:80-85988-44-5
Vydavatel:MARQ
URL:http://www.fit.vutbr.cz/~urbasek/Publikace/mosis2000.ps.gz [PS]
Klíčová slova
Category theory, modelling, simulation language, bisimulation, Petri nets.
Anotace
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.
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. The paper discusses general notions of category theory and shows examples of categories that can be found in the context of modelling, especially categories of models of programming languages and simulation categories of state-oriented models.
BibTeX:
@INPROCEEDINGS{
   author = {Milan Urb{\'{a}}{\v{s}}ek},
   title = {Categories in Modelling},
   pages = {21--28},
   booktitle = {Proceedings of the 34th International Conference Modelling
	and Simulation of Systems - MOSIS 2000},
   year = {2000},
   location = {Ro{\v{z}}nov pod Radho{\v{s}}t{\v{e}}m, CZ},
   ISBN = {80-85988-44-5},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php.cs?id=6538}
}

Vaše IPv4 adresa: 54.90.109.231
Přepnout na IPv6 spojení

DNSSEC [dnssec]