메뉴 건너뛰기
Electronic Notes in Theoretical Computer Science
Volumn 154, Issue 3, 2006, Pages 71-94
A Petri Net Semantics of a Simple Process Algebra for Mobility
Author keywords

behavioural consistency; compositional translation; Klaim; Mobility; Petri nets; process algebra
Indexed keywords

CONCURRENT ENGINEERING; LINEAR ALGEBRA; PETRI NETS; PROGRAM TRANSLATORS;
EID: 33745818612     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2006.05.008     Document Type: Article
Times cited : (7)
References (11)
  • 2
    • 0039394024 scopus 로고    scopus 로고
    • M-nets: an Algebra of High Level Petri Nets, with an Application to the Semantics of Concurrent Programming Languages
    • Best E., Fraczak W., Hopkins R.P., Klaudel H., and Pelz E. M-nets: an Algebra of High Level Petri Nets, with an Application to the Semantics of Concurrent Programming Languages. Acta Informatica 35 (1998) 813-857
    • (1998) Acta Informatica , vol.35 , pp. 813-857
    • Best, E.1    Fraczak, W.2    Hopkins, R.P.3    Klaudel, H.4    Pelz, E.5
  • 3
    • 17144474103 scopus 로고    scopus 로고
    • The KLAIM Project: Theory and Practice
    • Proc. of Global Computing: Programming Environments, Languages, Security and Analysis of Systems, Springer
    • Bettini L., et al. The KLAIM Project: Theory and Practice. Proc. of Global Computing: Programming Environments, Languages, Security and Analysis of Systems. LNCS 2874 (2003), Springer 88-150
    • (2003) LNCS , vol.2874 , pp. 88-150
    • Bettini, L.1
  • 4
    • 24944451501 scopus 로고    scopus 로고
    • Mobile Distributed Programming in X-Klaim
    • Proc. of Formal Methods for Mobile Computing. Bernardo M., and Bogliolo A. (Eds), Springer
    • Bettini L., and De Nicola R. Mobile Distributed Programming in X-Klaim. In: Bernardo M., and Bogliolo A. (Eds). Proc. of Formal Methods for Mobile Computing. LNCS 3465 (2005), Springer 29-68
    • (2005) LNCS , vol.3465 , pp. 29-68
    • Bettini, L.1    De Nicola, R.2
  • 5
    • 84947919695 scopus 로고    scopus 로고
    • Mobile Ambients
    • Proc. of FOSSACS'98, Springer
    • Cardelli L., and Gordon A.D. Mobile Ambients. Proc. of FOSSACS'98. LNCS 1378 (1998), Springer 140-155
    • (1998) LNCS , vol.1378 , pp. 140-155
    • Cardelli, L.1    Gordon, A.D.2
  • 6
    • 85029434486 scopus 로고
    • Coloured Petri Nets Extended with Place Capacities, Test Arcs and Inhibitor Arcs
    • Proc. of ICATPN'93, Springer
    • Christensen S., and Hansen N.D. Coloured Petri Nets Extended with Place Capacities, Test Arcs and Inhibitor Arcs. Proc. of ICATPN'93. LNCS 691 (1993), Springer 186-205
    • (1993) LNCS , vol.691 , pp. 186-205
    • Christensen, S.1    Hansen, N.D.2
  • 8
    • 33644507993 scopus 로고    scopus 로고
    • R. De Nicola, D. Latella and M. Massink: Formal modeling and quantitive analysis of KLAIM-based mobile systems.. Proc. of Applied Computing, Association for Computing Machinery (2005) 428-435
  • 9
    • 33644551350 scopus 로고    scopus 로고
    • Petri Net Semantics of the Finite π-Calculus
    • Proc. of FORTE 2004, Springer
    • Devillers R., Klaudel H., and Koutny M. Petri Net Semantics of the Finite π-Calculus. Proc. of FORTE 2004. LNCS 3235 (2004), Springer 309-325
    • (2004) LNCS , vol.3235 , pp. 309-325
    • Devillers, R.1    Klaudel, H.2    Koutny, M.3
  • 11
    • 84976826320 scopus 로고
    • Generative Communication in Linda
    • Gelernter D. Generative Communication in Linda. ACM Computing Surveys 7 1 (1985) 80-112
    • (1985) ACM Computing Surveys , vol.7 , Issue.1 , pp. 80-112
    • Gelernter, D.1

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.