Labelled Transitions for Mobile Ambients (As Synthesized via a Graphical Encoding)

• 作者Filippo Bonchi; Fabio Gadducci; Giacoma Valentina Monreale
• 卷第242卷
• 期第1期
• 印刷ISSN1571-0661
• 文件大小2182.90KB
• 发表时间2009
• DOI10.1016/j.entcs.2009.06.014
• 页码73-98