CRUDE
发表于 2025-3-23 12:36:14
Concurrent state transformations on abstract data types,re formally algebraic and dynamic specifications. In the approach presented here states are modelled as partial algebras that extend a fixed partial algebra considered as static data type. Transitions are specified by rules that express the replacement of properties when passing from one state to an
Consensus
发表于 2025-3-23 15:07:11
A view on implementing processes: Categories of circuits,cts from the bicategories of circuits appearing previously in the literature: it is parameterized by a monad which allows flexibility in the emergent notion of process..We focus on the circuits which arise from a distributive category and the exception monad. These circuits are partial in that they
Bereavement
发表于 2025-3-23 18:56:16
http://reply.papertrans.cn/83/8235/823424/823424_13.png
一再遛
发表于 2025-3-24 00:52:51
Minimal term rewriting systems,which all rules have an extremely simple form. A notion of simulation of (rewrite) relations is presented, under which an MTRS can be said to simulate a TRS. The MTRS rules can be directly interpreted as instructions for an extremely simple Abstract Rewriting Machine (ARM). Favourable practical resu
火光在摇曳
发表于 2025-3-24 05:18:20
http://reply.papertrans.cn/83/8235/823424/823424_15.png
宽敞
发表于 2025-3-24 08:01:32
Rewriting and reasoning with set-relations II: The non-ground case completeness,ng the three properties of the equivalence relations. The paper presents a complete inference system which is a generalization of ordered paramodulation and superposition calculi. Notions of rewriting proof and confluent rule system are defined for such non-equivalence relations. Together with the n
沉着
发表于 2025-3-24 12:22:34
http://reply.papertrans.cn/83/8235/823424/823424_17.png
DIS
发表于 2025-3-24 15:49:46
Concurrent state transformations on abstract data types,e general approach to a specification framework for environment transformations is presented. It allows the specification of dynamic systems based on dynamic entities like pointers, and has the same structural properties as the algebraic specification logic.
别炫耀
发表于 2025-3-24 22:12:48
0302-9743 kshop on Abstract Data Types held jointly with the 8th COMPASS Workshop in Oslo, Norway, in September 1995..The 25 research papers included were chosen from 57 pre-selected workshop presentations; also included are six invited contributions. The volume reports the progress achieved in the area of al
Panther
发表于 2025-3-25 02:48:54
http://reply.papertrans.cn/83/8235/823424/823424_20.png