𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A Logic For Distributed Processes

✍ Scribed by W. Richard Strark

Publisher
John Wiley and Sons
Year
1989
Tongue
English
Weight
589 KB
Volume
35
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

LogLogics: A logic for history-dependent
LogLogics: A logic for history-dependent business processes
✍ Kees van Hee; Olivia Oanea; Alexander Serebrenik; Natalia Sidorova; Marc Voorhoe πŸ“‚ Article πŸ“… 2007 πŸ› Elsevier Science 🌐 English βš– 328 KB

Choices in business processes are often based on the process history saved as a log-file listing events and their time stamps. In this paper we introduce LogLogics, a finite-path variant of the Timed Propositional Temporal Logic with Past, which can be in particular used for specifying guards in bus

Fixation for distributed clustering proc
Fixation for distributed clustering processes
✍ M. R. HilΓ‘rio; O. Louidor; C. M. Newman; L. T. Rolla; S. Sheffield; V. Sidoravic πŸ“‚ Article πŸ“… 2010 πŸ› John Wiley and Sons 🌐 English βš– 114 KB
Distributed Logic Objects: A Fragment of
Distributed Logic Objects: A Fragment of Rewriting Logic and its Implementation
✍ Anna Ciampolini; Evelina Lamma; Paola Mello; Cesare Stefanelli πŸ“‚ Article πŸ“… 1996 πŸ› Elsevier Science 🌐 English βš– 816 KB

This paper presents a logic language (called Distributed Logic Objects, DLO for short) that supports objects, messages and inheritance. The operational semantics of the language is given in terms of rewriting rules acting upon the (possibly distributed) state of the system. In this sense, the logic

A cellular logic array for image process
A cellular logic array for image processing
✍ M.J.B. Duff; D.M. Watson; T.J. Fountain; G.K. Shaw πŸ“‚ Article πŸ“… 1973 πŸ› Elsevier Science 🌐 English βš– 974 KB