A#(ID:5052/a::008)

Algebraic programming language 

for Algebraic programming language

process algebraic language based on Milner's CCS

Electrotechnical Laboratory Japan 1990
Related languages
CCS => A#   Based on
References:
  • Tomura Satoru, Ishikawa Yutaka, Futatsugi Kokichi "An introduction of a process algebraic language A" view details Abstract: A process algebraic language A is introduced. A is based on Milner's CCS (Calcullus for Comminucating Systems) and is designed for describing concurrent processes. In this paper the formal semantics of A is given in terms of the inference system of the event relations. The relations between the executing system and the formal semantics system are also discussed.

          in IPSJ SIGNotes Programming Language Abstract No.019 - 009 view details