The meaning of concurrent programs

Thumbnail Image

Date

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

Description

The semantics of assignment and mutual exclusion in concurrent and multi-core/multi-processor systems is presented with attention to low level architectural features in an attempt to make the presentation realistic. Recursive functions on event sequences are used to define state dependent functions and variables in ordinary (non-formal-method) algebra.
Technical report on using recursive functions for the low level semantics of concurrent systems

Keywords

Discrete Mathematics, Operating Systems

Citation

URI

http://salesiana.dossiersoluciones.com/handle/123456789/170995

Consulte el texto completo en el siguiente enlace:

https://arxiv.org/abs/0810.1316
 http://arxiv.org/abs/0810.1316

Collections

arXiv