Parallel processes with implicit computational capital

Open Access
Authors
Publication date 24 April 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
Downloads
295816.pdf (Final published version)
Permalink to this page
Back