Bigraph

Results: 11



#Item
1Towards a Bigraphical Encoding of Actors Michele Sevegnani1,⋆ and Eloi Pereira2,3,⋆⋆ 1 3

Towards a Bigraphical Encoding of Actors Michele Sevegnani1,⋆ and Eloi Pereira2,3,⋆⋆ 1 3

Add to Reading List

Source URL: cpcc.berkeley.edu

Language: English - Date: 2016-06-12 17:08:37
2BigActors - A Model for Structure-aware Computation ∗ Eloi Pereira Christoph M. Kirsch  Raja Sengupta

BigActors - A Model for Structure-aware Computation ∗ Eloi Pereira Christoph M. Kirsch Raja Sengupta

Add to Reading List

Source URL: www.cs.uni-salzburg.at

Language: English
3Walk and Learn: A Two-Stage Approach for Opinion Words and Opinion Targets Co-Extraction Liheng Xu, Kang Liu, Siwei Lai, Yubo Chen, Jun Zhao National Laboratory of Pattern Recognition Institute of Automation, Chinese Aca

Walk and Learn: A Two-Stage Approach for Opinion Words and Opinion Targets Co-Extraction Liheng Xu, Kang Liu, Siwei Lai, Yubo Chen, Jun Zhao National Laboratory of Pattern Recognition Institute of Automation, Chinese Aca

Add to Reading List

Source URL: www2013.wwwconference.org

Language: English - Date: 2014-07-21 08:47:02
41  Exercises for the Lectures on Bigraphs: a Model for Mobile Agents Exercises for Lecture I E1 DECOMPOSITION . Recall the convention that we write the inner names of a bigraph below the regions that represent it.

1 Exercises for the Lectures on Bigraphs: a Model for Mobile Agents Exercises for Lecture I E1 DECOMPOSITION . Recall the convention that we write the inner names of a bigraph below the regions that represent it.

Add to Reading List

Source URL: www.cl.cam.ac.uk

- Date: 2008-11-06 07:47:53
    5Seminar notes on developments in bigraphs Robin Milner, October 2009 Universities of Cambridge and Edinburgh These notes support seminars on theoretical advances in the bigraph model. They are conjectural; they aim to st

    Seminar notes on developments in bigraphs Robin Milner, October 2009 Universities of Cambridge and Edinburgh These notes support seminars on theoretical advances in the bigraph model. They are conjectural; they aim to st

    Add to Reading List

    Source URL: www.cl.cam.ac.uk

    Language: English - Date: 2009-11-28 08:02:10
      6An Implementation of Bigraph Matching Arne John Glenstrup ∗ , Troels Christoffer Damgaard, Lars Birkedal, Espen Højsgaard IT University of Copenhagen, Denmark Abstract We describe a provably sound and complete matchin

      An Implementation of Bigraph Matching Arne John Glenstrup ∗ , Troels Christoffer Damgaard, Lars Birkedal, Espen Højsgaard IT University of Copenhagen, Denmark Abstract We describe a provably sound and complete matchin

      Add to Reading List

      Source URL: www.itu.dk

      Language: English - Date: 2007-11-05 12:26:38
      7Developing Bigraphical Languages Troels Christoffer Damgaard A PhD Dissertation Presented to the Faculty of the IT University of Copenhagen in Partial Fulfillment of the Requirements of the PhD Degree

      Developing Bigraphical Languages Troels Christoffer Damgaard A PhD Dissertation Presented to the Faculty of the IT University of Copenhagen in Partial Fulfillment of the Requirements of the PhD Degree

      Add to Reading List

      Source URL: www.itu.dk

      Language: English - Date: 2008-12-10 11:30:39
      8Bigraphical molecular systems Adding dynamics Troels Damgaard1 and Jean Krivine2 1

      Bigraphical molecular systems Adding dynamics Troels Damgaard1 and Jean Krivine2 1

      Add to Reading List

      Source URL: www.itu.dk

      Language: English - Date: 2008-03-13 13:04:46
      9Robin Milner LIST OF PUBLICATIONS, 2008 Books written 1. Edinburgh LCF; a Mechanized Logic of Computation, with M.J.C. Gordon and C.W. Wadsworth, LNCS781 , pages).

      Robin Milner LIST OF PUBLICATIONS, 2008 Books written 1. Edinburgh LCF; a Mechanized Logic of Computation, with M.J.C. Gordon and C.W. Wadsworth, LNCS781 , pages).

      Add to Reading List

      Source URL: www.cl.cam.ac.uk

      Language: English - Date: 2009-01-05 11:56:21
      10More is Simpler: Effectively and Efficiently Assessing Node-Pair Similarities Based on Hyperlinks Weiren Yu†♯ , Xuemin Lin♭† , Wenjie Zhang† , Lijun Chang† , Jian Pei♮ †  ♭

      More is Simpler: Effectively and Efficiently Assessing Node-Pair Similarities Based on Hyperlinks Weiren Yu†♯ , Xuemin Lin♭† , Wenjie Zhang† , Lijun Chang† , Jian Pei♮ † ♭

      Add to Reading List

      Source URL: www.vldb.org

      Language: English - Date: 2013-08-08 12:36:55