Cookies helfen uns bei der Bereitstellung unserer Dienste. Durch die Nutzung unserer Dienste erklären Sie sich damit einverstanden, dass wir Cookies setzen.
Abramsky, Samson and Vickers, Steven. 1990. Quantales, Observational Logic, and Process Semantics. London: University of London, Imperial College of Science; Technology, Dept. of Computing.