Decibel
发表于 2025-3-23 12:52:26
http://reply.papertrans.cn/83/8234/823391/823391_11.png
Transfusion
发表于 2025-3-23 15:34:00
An Institution of Hybrid Systemsir relation with embedded systems (systems that interact with the . changing real-world). In order to deal with complex problems, compositional specification and verification methods are needed. Using the specification language of . as a starting point, an institution of hybrid systems is establishe
sundowning
发表于 2025-3-23 19:27:45
http://reply.papertrans.cn/83/8234/823391/823391_13.png
TAIN
发表于 2025-3-23 22:23:24
http://reply.papertrans.cn/83/8234/823391/823391_14.png
resilience
发表于 2025-3-24 05:03:53
A General Algebraic Framework for Studying Modular Systemsnses. First, it is independent of the specification (or programming) formalism used to build modules as long as the formalism satisfies some algebraic properties. Moreover, we can combine modules built over different such formalisms. Secondly, our setting enables us to define compositional semantics
Encephalitis
发表于 2025-3-24 09:19:10
History Preserving Bisimulation for Contextual Netsthout consuming them (non-destructive read operations). A first equivalence, simply called ., is based on Winskel’s prime event structures. A finer equivalence, called . (where “R” stands for “read”), relies on . , a generalization of prime event structures which gives a more faithful account of
学术讨论会
发表于 2025-3-24 12:03:44
A Model for Interaction of Agents and Environmentsmeans of labelled transition systems considered up to bisimilarity. The equivalence of agents is characterised in terms of an algebra of behaviours which is a continuous algebra with approximation and two operations: nondeterministic choice and prefixing. Environments are introduced as agents suppli
预定
发表于 2025-3-24 17:46:20
http://reply.papertrans.cn/83/8234/823391/823391_18.png
FLING
发表于 2025-3-24 21:26:01
From States to Historiesies are captured by system invariants that help to prove properties about state machines. Our approach provides a bridge from state-based system models defined by state transitions to the more abstract history views on systems and their components.
GREEN
发表于 2025-3-25 02:42:34
Specification Refinement with System F – The Higher-Order Case these results to the higher-order case, we find it necessary firstly to develop an alternative simulation relation and secondly to extend the parametric PER-model interpretation, both in such a way as to observe data type abstraction barriers more closely.