NATAL
发表于 2025-3-30 12:00:22
http://reply.papertrans.cn/83/8234/823392/823392_51.png
危险
发表于 2025-3-30 13:16:00
0302-9743 proceedings of the 20th International Workshop on Algebraic Development Techniques, WADT 2010, held in July 2010 in Etelsen, Germany.The 15 revised papers presented were carefully reviewed and selected from 32 presentations. The workshop deals with the following topics: foundations of algebraic spec
不给啤
发表于 2025-3-30 17:53:07
Building a Modal Interface Theory for Concurrency and Dataent behavior of components with data states on the basis of interface theories. The dynamic aspects of a system are specified by modal I/O-transition systems, whereas changes of data states are specified by pre- and postconditions. In this setting we study refinement and behavioral compatibility of
Statins
发表于 2025-3-31 00:38:18
http://reply.papertrans.cn/83/8234/823392/823392_54.png
密切关系
发表于 2025-3-31 04:21:11
http://reply.papertrans.cn/83/8234/823392/823392_55.png
Favorable
发表于 2025-3-31 08:53:45
Sharing in the Graph Rewriting Calculuserms. We study a reduction strategy for the graph rewriting calculus which is intended to maintain the sharing in the terms as long as possible. We show that the corresponding reduction relation is adequate w.r.t. the original semantics of the graph rewriting calculus, formalising the intuition that
heterogeneous
发表于 2025-3-31 09:19:10
A New Strategy for Distributed Compensations with Interruption in Long-Running Transactions assess their merits w.r.t. existing proposals. The new semantics is ., in the sense that it guarantees that distributed compensations may only be observed after a fault actually occurred. Moreover, the operational semantics is defined in terms of (1-safe) Petri nets and hence retains causality and
毁坏
发表于 2025-3-31 16:36:37
Towards a First-Order Deontic Action Logicended logic is that it not only provides the standard quantifiers of first-order logic, but it also has similar algebraic operators for actions as for the propositional version of . Since the pioneering works of Hintikka and Kanger, little advance has been made in developing first-order deontic l
原始
发表于 2025-3-31 21:17:33
http://reply.papertrans.cn/83/8234/823392/823392_59.png
ARY
发表于 2025-3-31 23:12:10
Lambda Expressions in , Architectural Specificationsin two manners: the first is purely model-theoretic and the second attempts to discharge model semantics conditions statically based on a diagram of dependencies between components (extended static semantics). In the case of lambda expressions, which are used to define the way generic units are buil