Mathematical Foundations of Programming Semantics
Subtitle: 9th International Conference, New Orleans, LA, USA, April 7 - 10, 1993. Proceedings (Lecture Notes in Computer Science)
Contributors: Stephen Brookes (Editor); Michael Main (Editor); Austin Melton (Editor); Michael Mislove (Editor); David Schmidt (Editor)
Edition: 1 edition
Publisher: Springer
Published: June 24, 1994
Language: eng
Format: Paperback
Number of pages: 648
ISBN-13: 9783540580270
Subjects: Mathematical theory of computation; Programming languages; Logic Design; Computers - Languages / Programming; Programming Languages - General; Computer Science; Computers / Programming Languages / General; Formale Sprachen; Mathematical Logic; Mathematische Grundlage; Mathematische Logik; Programmiersemantik; Programmiertheorie; Programming Semantics
First sentence: In the last decade and a half there has been an explosion of work aimed at the development of a mathematical theory of concurrent processes.