×

Found 10 Documents (Results 1–10)

Loose real-time communicating agents. (English) Zbl 0812.68087

Andrews, Derek J. (ed.) et al., Semantics of specification languages (SoSL). Proceedings of the International Workshop, Utrecht, the Netherlands, 25-27 October 1993. Berlin: Springer-Verlag. Workshops in Computing. 135-151 (1994).
MSC:  68Q55 68Q60 68N15
PDFBibTeX XMLCite

Denotational semantics of constraint logic programming. - A nonstandard approach. (English) Zbl 0829.68081

Mayoh, Brian (ed.) et al., Constraint programming. Proceedings of the NATO Advanced Study Institute, held in Pärnu, Estonia, August 13-24, 1993. Berlin: Springer-Verlag. NATO ASI Ser., Ser. F, Comput. Syst. Sci. 131, 261-288 (1994).
Reviewer: N.Zamov (Kazan’)
MSC:  68Q55 68N17
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 3

Main Field

Software