Logic for Concurrency and Synchronisation
The study of information-based actions and processes has been a vibrant - terface between logic and computer science for several decades now. Indeed, several natural perspectives come together here. On the one hand, logical s- tems may be used to describe the dynamics of arbitrary computational p- c...
| Corporate Author: | |
|---|---|
| Other Authors: | |
| Format: | Electronic |
| Language: | English |
| Published: |
Dordrecht :
Springer Netherlands,
2003.
|
| Series: | Trends in Logic, Studia Logica Library ;
15 |
| Subjects: | |
| Online Access: | View fulltext via EzAccess |