Titlebook: A Decade of Concurrency: Reflections and Perspectives; Reflections and Pers J. W. Bakker,W. -P. Roever,G. Rozenberg Conference proceedings

FORGE

書目名稱A Decade of Concurrency: Reflections and Perspectives影響因子(影響力)




書目名稱A Decade of Concurrency: Reflections and Perspectives影響因子(影響力)學科排名




書目名稱A Decade of Concurrency: Reflections and Perspectives網(wǎng)絡(luò)公開度




書目名稱A Decade of Concurrency: Reflections and Perspectives網(wǎng)絡(luò)公開度學科排名




書目名稱A Decade of Concurrency: Reflections and Perspectives被引頻次




書目名稱A Decade of Concurrency: Reflections and Perspectives被引頻次學科排名




書目名稱A Decade of Concurrency: Reflections and Perspectives年度引用




書目名稱A Decade of Concurrency: Reflections and Perspectives年度引用學科排名




書目名稱A Decade of Concurrency: Reflections and Perspectives讀者反饋




書目名稱A Decade of Concurrency: Reflections and Perspectives讀者反饋學科排名

CRACY

Reflection in Agile Retrospectivese theoretical investigation of the data-flow paradigm. Our model covers both behavioural and operational aspects, and allows both synchronous and asynchronous styles of implementation for synchronous programs. This model served as a basis to establish the GC ..

instill

Eriks Klotins,Elliot Talbert-Goldsteinng time. When modelling a process, a choice concerning such parameters corresponds to choosing the level of abstraction of the resulting semantics. The classifications are formalized through the medium of category theory.

Conjuction

全部

https://doi.org/10.1007/978-3-031-33976-9ome conditions are given under which they coincide. More precisely, it is shown how to derive initial semantics from final semantics, using the initiality and finality to ensure their equality. Moreover, many facts about . (on algebras) and (generalized) . (on coalgebras) are shown to be dual as well.

FECT

https://doi.org/10.1007/3-540-58043-3Concurrent Programming; Concurrent Systems; Echtzeit-Systeme; Nebenl?ufiges Programmieren; Proze?algebre

蠟燭

978-3-540-58043-0Springer-Verlag Berlin Heidelberg 1994

可互換

集聚成團

木質(zhì)

https://doi.org/10.1007/978-3-319-57633-6builds upon the chemical metaphor of Banatre and Le Métayer. We first illustrate the CHAM style by describing the operational semantics of process calculi constructs. Then we apply our approach to the λ-calculus, designing a CHAM for the weak .-reduction with sharing, and specializing it into a CHAM