Retracing the Footprints
نویسندگان
چکیده
منابع مشابه
Retracing CSP
The original CSP was a language for parallel imperative programs communicating by synchronized message-passing. Most of the early foundational work concerned a more abstract process algebra, now known as Theoretical CSP (or TCSP). The early semantic models involved communication traces, refusals, failures, and divergence traces. These models support compositional reasoning about safety properti...
متن کاملRetracing the Semantics of CSP
CSP was originally introduced as a parallel programming language in which sequential imperative processes execute concurrently and communicate by synchronized input and output. The influence of CSP and the closely related process algebra TCSP is widespread. Over the years CSP has been equipped with a series of denotational semantic models, involving notions such as communication traces, failure...
متن کاملRetracing Some Paths in Process Algebra
The very existence of the concur conference bears witness to the fact that “concurrency theory” has developed into a subject unto itself, with substantially different emphases and techniques to those prominent elsewhere in the semantics of computation. Whatever the past merits of this separate development, it seems timely to look for some convergence and unification. In addressing these issues,...
متن کاملRetracing Zika's footsteps across the Americas with computational modeling.
For much of 2016, it was hard to look at the news without seeing a headline about Zika. Images of parents holding newborn children with microcephaly grabbed the world’s attention and spurred the World Health Organization to make a rare declaration of a Public Health Emergency of International Concern (1). Despite widespread awareness of Zika and considerable will to contain its spread, data wer...
متن کاملThe Footprints of Dragons
Almost all our early ancestors believed the earth was inhabited, especially in unknown regions, by dragons. Where did they get such an idea? Did it stem from a universal human imagination? An inherited need or instinct? An inherited subconscious memory of dinosaurs? All these suggestions have been made, and taken seriously by groups of people. I believe dragons are the reflection, sometimes emb...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Mechanical Engineering
سال: 2021
ISSN: 0025-6501,1943-5649
DOI: 10.1115/1.2021-may4