Tapsoft '91. Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991
Subtitle: Volume (Lecture Notes in Computer Science)
Contributors: S. Abramsky (Editor); T. S. E. Maibaum (Editor); Samson Abramsky (Other Contributor)
Publisher: Springer
Published: May 1991
Language: eng
Format: Paperback
Number of pages: 455
ISBN-13: 9783540539827
Subjects: Applied mathematics; Mathematical theory of computation; Logic Design; Computers - Languages / Programming; Programming Languages - General; Programming - Software Development; Development
First sentence: In recent years, many models of concurrent computation based upon partial orders have been proposed in the literature, e.g. Petri Nets [Rei85], Event Structures [Win80,87], Pom-sets [Pr86] and, more recently, Causal Trees [DD89].