Programming Languages and Systems
Subtitle: Second Asian Symposium, APLAS 2004, Taipei, Taiwan, November 4-6, 2004. Proceedings (Lecture Notes in Computer Science)
Edition: 1 edition
Publisher: Springer
Published: November 23, 2004
Language: eng
Format: Paperback
Number of pages: 453
ISBN-13: 9783540237242
Subjects: Programming languages; Programming - General; Computers - General Information; Computers; Computer Books: Languages; Programming languages (Electronic computers); Programming - Software Development; Computer Science; Logic; Programming Languages - General; Computers / Programming Languages / General; Congresses
First sentence: We present a formal method for modelling the operational behavior of various kinds of systems of concurrent processes.