Titlebook: Coordination Models and Languages; 22nd IFIP WG 6.1 Int Simon Bliudze,Laura Bocchi Conference proceedings 2020 IFIP International Federatio

urinary-tract

书目名称Coordination Models and Languages影响因子(影响力)




书目名称Coordination Models and Languages影响因子(影响力)学科排名




书目名称Coordination Models and Languages网络公开度




书目名称Coordination Models and Languages网络公开度学科排名




书目名称Coordination Models and Languages被引频次




书目名称Coordination Models and Languages被引频次学科排名




书目名称Coordination Models and Languages年度引用




书目名称Coordination Models and Languages年度引用学科排名




书目名称Coordination Models and Languages读者反馈




书目名称Coordination Models and Languages读者反馈学科排名

organic-matrix

散步

Fibrin

Towards Energy-, Time- and Security-Aware Multi-core Coordination of the principle of coordination in the broad domain of cyber-physical systems, where non-functional properties, such as execution/response time, energy consumption and security are as crucial as functional correctness..We propose a coordination approach, including a functional coordination languag

贝雷帽

Team Automata@Work: On Safe Communicationtions. These systems are modelled in the framework of team automata in which any number of components can participate—as a sender or as a receiver—in the execution of a communication action. Moreover, there is no fixed synchronisation policy as these policies in general depend on the application. In

移动

Choreography Automataalgorithms and techniques to specify and analyse systems. We introduce . for the choreographic modelling of communicating systems. The projection of a choreography automaton yields a system of .. We consider both the standard asynchronous semantics of communicating systems and a synchronous variant

移动

A Choreography-Driven Approach to APIs: The OpenDXL Case StudyIE) services provided by McAfee through the OpenDXL industrial platform. We advocate a chain of model transformations that (i) devises a visual presentation of communication protocols, (ii) formalises a global specification from the visual presentation that captures the data flow among services, (ii

Scintillations

CULP

GoPi: Compiling Linear and Static Channels in Go and present a compiler, named ., that maps high level specifications into executable . programs. Channels declared as linear are deadlock-free, while the scope of static channels, which are bound by a . declaration, does not enlarge at runtime; this is enforced statically by means of type inference

口诀法