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网络公开度




书目名称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读者反馈




书目名称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

可互换

集聚成团

木质

https://doi.org/10.1007/978-3-319-57633-6builds upon the chemical metaphor of Banâtre 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