EVOKE
发表于 2025-3-21 17:22:42
书目名称Unifying Theories of Programming影响因子(影响力)<br> http://impactfactor.cn/if/?ISSN=BK0942059<br><br> <br><br>书目名称Unifying Theories of Programming影响因子(影响力)学科排名<br> http://impactfactor.cn/ifr/?ISSN=BK0942059<br><br> <br><br>书目名称Unifying Theories of Programming网络公开度<br> http://impactfactor.cn/at/?ISSN=BK0942059<br><br> <br><br>书目名称Unifying Theories of Programming网络公开度学科排名<br> http://impactfactor.cn/atr/?ISSN=BK0942059<br><br> <br><br>书目名称Unifying Theories of Programming被引频次<br> http://impactfactor.cn/tc/?ISSN=BK0942059<br><br> <br><br>书目名称Unifying Theories of Programming被引频次学科排名<br> http://impactfactor.cn/tcr/?ISSN=BK0942059<br><br> <br><br>书目名称Unifying Theories of Programming年度引用<br> http://impactfactor.cn/ii/?ISSN=BK0942059<br><br> <br><br>书目名称Unifying Theories of Programming年度引用学科排名<br> http://impactfactor.cn/iir/?ISSN=BK0942059<br><br> <br><br>书目名称Unifying Theories of Programming读者反馈<br> http://impactfactor.cn/5y/?ISSN=BK0942059<br><br> <br><br>书目名称Unifying Theories of Programming读者反馈学科排名<br> http://impactfactor.cn/5yr/?ISSN=BK0942059<br><br> <br><br>
能量守恒
发表于 2025-3-21 23:09:12
A Denotational Semantics for Parameterised Networks of Synchronised Automata,viour of a subnet is determined by both its state and the actions it executes. Based on the traces of a set of subnets, the behaviour of a pNet consisting of those subnets can be deduced. A set of algebraic laws is also explored based on the denotational semantics.
JAUNT
发表于 2025-3-22 03:16:16
http://reply.papertrans.cn/95/9421/942059/942059_3.png
creatine-kinase
发表于 2025-3-22 05:47:39
UTP Semantics for rTiMo, with real-time constraints. In order to facilitate the algebraic reasoning about the parallel expansion laws, we enrich rTiMo with a form of .. This enables us to convert every parallel construct to a guarded choice.
全等
发表于 2025-3-22 10:04:11
http://reply.papertrans.cn/95/9421/942059/942059_5.png
flavonoids
发表于 2025-3-22 15:50:34
http://reply.papertrans.cn/95/9421/942059/942059_6.png
occult
发表于 2025-3-22 19:04:28
Towards a UTP Semantics for Modelica,odelica models can be given semantics using our theory. When combined with the wealth of existing UTP theories for discrete system modelling, our work enables a sound approach to heterogeneous semantics for Cyber-Physical systems by leveraging the theory linking facilities of the UTP.
botany
发表于 2025-3-22 23:06:20
An Axiomatic Value Model for Isabelle/UTP,lity to compositionally reason about alphabets and theories. We here propose an alternative solution that axiomatises the value model and retains the advantages of both approaches. We carefully craft a definitional mechanism in the Isabelle/HOL prover that guarantees soundness.
Progesterone
发表于 2025-3-23 03:43:48
,UTPCalc — A Calculator for UTP Predicates,ith Haskell to be able to write pattern-matching code. In this paper we describe how this tool can be used to assist in theory development, by describing the key components of the calculator and how various aspects of such a theory might be encoded. We finish with a discussion of our experience in using the tool.
meretricious
发表于 2025-3-23 06:09:02
0302-9743 Programming, UTP 2016, held in Reykjavik, Iceland, in June 2016, in conjunction with the ..12th International Conference on Integrated Formal Methods, iFM 2016. The 8 revised full papers presented were carefully reviewed and selected from 10 submissions. They deal with the fundamental problem of com