State-based CCS semantics for concurrent Z specification

Proceedings of the International Conference on Formal Engineering Methods, ICFEM

Volumn , Issue , 1997, Pages 283-292

  Taguchi, Kenji ^a   Araki, Keijiro ^a  

^a KYUSHU UNIVERSITY   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER HARDWARE DESCRIPTION LANGUAGES; DIFFERENTIATION (CALCULUS); FORMAL LOGIC;

CALCULUS OF COMMUNICATING SYSTEMS (CCS); HENNESSY MILNER LOGIC;

COMPUTATIONAL LINGUISTICS;

EID: 0031357772     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (23)