๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Context-dependent Abduction and Relevance

โœ Scribed by Dov Gabbay; Rolf Nossum; John Woods


Publisher
Springer Netherlands
Year
2005
Tongue
English
Weight
355 KB
Volume
35
Category
Article
ISSN
0022-3611

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


Connector colouring I: Synchronisation a
โœ Dave Clarke; David Costa; Farhad Arbab ๐Ÿ“‚ Article ๐Ÿ“… 2007 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 624 KB

Reo is a coordination model based on circuit-like connectors which coordinate components through the interplay of data flow, synchronisation and mutual exclusion, state, and context-dependent behaviour. This paper proposes a scheme based on connector colouring for determining the behaviour of a Reo