Publication:4858578
From MaRDI portal
zbMath0832.68014MaRDI QIDQ4858578
Frank S. de Boer, Catuscia Palamidessi, Joost N. Kok, Jan J. M. M. Rutten
Publication date: 17 December 1995
68N17: Logic programming
Related Items
Unnamed Item, A model of context-dependent component connectors, Nondeterminism and infinite computations in constraint programming