A Constructive Logic for Services and Information Flow in Computer Networks |
| |
Authors: | Borghuis, Tijn Feijs, Loe |
| |
Affiliation: | 1 Department of Mathematics and Computing Science, Eindhoven Embedded Systems Institute, Eindhoven University of Technology Email: tijn@win.tue.nl 2 Corresponding address: HG 7.16, Technische Universiteit Eindhoven, PO Box 513, 5600 MB Eindhoven, The Netherlands |
| |
Abstract: | |
| |
Keywords: | |
本文献已被 Oxford 等数据库收录! |
|