Detail publikace

Categories in Modelling

URBÁŠEK, M.

Originální název

Categories in Modelling

Typ

článek ve sborníku mimo WoS a Scopus

Jazyk

angličtina

Originální 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.

Klíčová slova

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

Autoři

URBÁŠEK, M.

Vydáno

1. 1. 2000

Místo

Rožnov pod Radhoštěm

ISBN

80-85988-44-5

Kniha

Proceedings of the 34th International Conference Modelling and Simulation of Systems - MOSIS 2000

Strany od

21

Strany do

28

Strany počet

8

URL

http://www.fit.vutbr.cz/~urbasek/Publikace/mosis2000.ps.gz

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