메뉴 건너뛰기




Volumn 162, Issue 1, 2006, Pages 191-196

From μCRL to mCRL2. Motivation and Outline

Author keywords

behavioural analysis; data types; mCRL2; process algebra

Indexed keywords

DATA ACQUISITION; FUNCTIONS; LINEAR ALGEBRA; MATHEMATICAL MODELS; NUMERICAL ANALYSIS; PETRI NETS;

EID: 33748886704     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2005.12.101     Document Type: Article
Times cited : (21)

References (9)
  • 2
    • 0003464858 scopus 로고
    • van Eijk P.H.J., Vissers C.A., and Diaz M. (Eds), Elsevier Science Publishers B.V.
    • In: van Eijk P.H.J., Vissers C.A., and Diaz M. (Eds). The formal description technique LOTOS (1989), Elsevier Science Publishers B.V.
    • (1989) The formal description technique LOTOS
  • 3
    • 35048816463 scopus 로고    scopus 로고
    • Verifying a sliding window protocol in μCRL
    • proceedings of the 10th International Conference on Algebraic Methodology and Software Technology. Rattray C., Maharaj S., and Shankland C. (Eds). Stirling, Scotland, Springer-Verlag
    • Fokkink W., Groote J.F., Pang J., Badban B., and van de Pol J.C. Verifying a sliding window protocol in μCRL. In: Rattray C., Maharaj S., and Shankland C. (Eds). proceedings of the 10th International Conference on Algebraic Methodology and Software Technology. Stirling, Scotland. LNCS 3116 (2004), Springer-Verlag 148-163
    • (2004) LNCS , vol.3116 , pp. 148-163
    • Fokkink, W.1    Groote, J.F.2    Pang, J.3    Badban, B.4    van de Pol, J.C.5
  • 4
    • 33748890764 scopus 로고    scopus 로고
    • J.F. Groote. The syntax and semantics of timed μCRL. Technical report SEN-R9709, CWI, Amsterdam, 1997
  • 5
    • 84956855748 scopus 로고    scopus 로고
    • Equational Binary Decision Diagrams
    • Logic for Programming and Reasoning. Parigot M., and Voronkov A. (Eds). LPAR2000, Springer Verlag
    • Groote J.F., and van de Pol J.C. Equational Binary Decision Diagrams. In: Parigot M., and Voronkov A. (Eds). Logic for Programming and Reasoning. LPAR2000. Lecture Notes in Artificial Intelligence volume 1955 (2000), Springer Verlag 161-178
    • (2000) Lecture Notes in Artificial Intelligence , vol.1955 , pp. 161-178
    • Groote, J.F.1    van de Pol, J.C.2
  • 6
    • 0002278376 scopus 로고    scopus 로고
    • Bergstra J.A., Ponse A., and Smolka S.A. (Eds), Elsevier, Amsterdam
    • Groote J.F., and Reniers M. In: Bergstra J.A., Ponse A., and Smolka S.A. (Eds). Algebraic process verification. Handbook of Process Algebra (2001), Elsevier, Amsterdam 1151-1208
    • (2001) Handbook of Process Algebra , pp. 1151-1208
    • Groote, J.F.1    Reniers, M.2
  • 8
    • 0025447904 scopus 로고
    • A process specification formalism
    • Mauw S., and Veltink G.J. A process specification formalism. Fundamenta Informaticae XIII (1990) 85-139
    • (1990) Fundamenta Informaticae , vol.XIII , pp. 85-139
    • Mauw, S.1    Veltink, G.J.2


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