Parallel processes with implicit computational capital

Open Access
Authors
Publication date 24-04-2008
Journal Electronic Notes in Theoretical Computer Science
Event LIX Colloquium on Emerging Trends in Concurrency Theory (LIX 2006), Paris, France
Volume | Issue number 209
Pages (from-to) 55-81
Organisations
  • Faculty of Science (FNWI) - Informatics Institute (IVI)
Abstract We propose a process algebra which is concerned with processes that have an implicit computational capital. This process algebra is intended to be helpful when designing computer-based systems of which the behaviour is related to money handling. It goes along with the development that the behaviour of computer-based systems, organizations and persons is increasingly more related to money handling.
Document type Article
Note Proceedings title: Proceedings of the LIX Colloquium on Emerging Trends in Concurrency Theory (LIX 2006) Publisher: Elsevier Place of publication: Amsterdam Editors: C. Palamidessi, F.D. Valencia
Language English
Published at https://doi.org/10.1016/j.entcs.2008.04.004
Downloads
295816.pdf (Final published version)
Permalink to this page
Back