Encoding an Object Calculus into Interaction Nets

被引：0
|
作者：
Fleutot, Fabien [1 ,2 ]
机构：
[1] Kings Coll London, Dept Comp Sci, London, England
[2] Univ Paris VII, Paris, France
来源：
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE | 2005年 / 127卷 / 05期
关键词：
Object calculus; Interaction nets; Linearisation; Explicit substitution;
D O I：
10.1016/j.entcs.2005.03.024
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
We propose an encoding of an object calculus into interaction nets in two stages. First, we make the calculus fully explicit, i.e. with explicit substitutions, duplications and erasures. Then, we use this explicit calculus to produce an interaction net encoding of objects.
引用
收藏
页码：83 / 111
页数：29
相关论文
共 50 条
  • [41] Difunctorial Semantics of Object Calculus
    Glimming, Johan
    Ghani, Neil
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 138 (02) : 79 - 94
  • [42] Object Calculus in the System–Object Method of Knowledge Representation
    Matorin S.I.
    Zhikharev A.G.
    Zimovets O.A.
    [J]. Scientific and Technical Information Processing, 2018, 45 (05) : 307 - 316
  • [43] Graphical encoding of a spatial logic for the π-calculus
    Gadducci, Fabio
    Lafuente, Alberto Lluch
    [J]. ALGEBRA AND COALGEBRA IN COMPUTER SCIENCE, PROCEEDINGS, 2007, 4624 : 209 - 225
  • [44] Intensity encoding in unsupervised neural nets
    Parkinson, AM
    Parpia, DY
    [J]. NEURAL NETWORKS, 1998, 11 (04) : 723 - 730
  • [45] Encoding transition systems in sequent calculus
    McDowell, R
    Miller, D
    Palamidessi, C
    [J]. THEORETICAL COMPUTER SCIENCE, 2003, 294 (03) : 411 - 437
  • [46] On the expressiveness of π-calculus for encoding mobile ambients
    Brodo, Linda
    [J]. MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2018, 28 (02) : 202 - 240
  • [47] A randomized encoding of the π-calculus with mixed choice
    Palamidessi, C
    Herescu, OM
    [J]. THEORETICAL COMPUTER SCIENCE, 2005, 335 (2-3) : 373 - 404
  • [48] Using colored Petri nets to simulate object Petri nets
    Corchado, FFR
    Gallegos, FZ
    Jiménez, AA
    Dávila, HIP
    [J]. International Conference on Computing, Communications and Control Technologies, Vol 5, Proceedings, 2004, : 27 - 31
  • [49] Petri nets as token objects - An introduction to elementary object nets
    Valk, R
    [J]. APPLICATION AND THEORY OF PETRI NETS 1998, 1998, 1420 : 1 - 25
  • [50] Differential interaction nets
    Ehrhard, T.
    Regnier, L.
    [J]. THEORETICAL COMPUTER SCIENCE, 2006, 364 (02) : 166 - 195
12345