Linked Data Explorerhttp://worldcat.org/entity/work/id/33672692
A calculus of distributed and parallel processes
Open All Close All
http://schema.org/about
- http://experiment.worldcat.org/entity/work/data/33672692#Topic/transitionssystem_verteiltes_system
- http://experiment.worldcat.org/entity/work/data/33672692#Topic/prozess_informatik
- http://experiment.worldcat.org/entity/work/data/33672692#Topic/prozess_<_informatik>_mathematisches_modell
- http://id.worldcat.org/fast/1052932
- http://experiment.worldcat.org/entity/work/data/33672692#Topic/verteilte_datenverarbeitung_mathematische_methode
- http://experiment.worldcat.org/entity/work/data/33672692#Topic/verteiltes_system
- http://experiment.worldcat.org/entity/work/data/33672692#Topic/prozess_<_informatik>_kategorientheorie
- http://experiment.worldcat.org/entity/work/data/33672692#Topic/transitionssystem
- http://experiment.worldcat.org/entity/work/data/33672692#Topic/formale_sprache
- http://experiment.worldcat.org/entity/work/data/33672692#Topic/algebraische_spezifikation
- http://id.worldcat.org/fast/910312
- http://id.loc.gov/authorities/subjects/sh85042293
- http://experiment.worldcat.org/entity/work/data/33672692#Topic/prozess_<_informatik>
- http://id.loc.gov/authorities/subjects/sh85097826
- http://id.loc.gov/authorities/subjects/sh85043176
- http://id.worldcat.org/fast/906992
- http://experiment.worldcat.org/entity/work/data/33672692#Topic/parallelverarbeitung_mathematische_methode
- http://experiment.worldcat.org/entity/work/data/33672692#Topic/mathematisches_modell
- http://experiment.worldcat.org/entity/work/data/33672692#Topic/prozess_<_informatik>_algebraische_spezifikation_formale_sprache
- http://experiment.worldcat.org/entity/work/data/33672692#Topic/kategorientheorie
http://schema.org/description
- "This book introduces a process calculus for parallel, distributed and reactive systems. It describes the conceptual foundations as well as the mathematical theory behind a programming language, and a number of application examples. The chosen approach provides a framework for understanding the semantics of parallel and distributed systems. Moreover, it can be directly applied to practical problems."
http://schema.org/genre
- "Electronic books"
http://schema.org/name
- "A Calculus of Distributed and Parallel Processes"
- "A calculus of distributed and parallel processes"@en
- "A calculus of distributed and parallel processes"
- "Calculus of distributed and parallel processes"