OBJ3
<language>
A version of OBJ based on order-sorted rewriting. OBJ3 is agent-oriented and runs on AKCL.
E-mail: <obj3sys@crl.sri.com>, <obj3dist@csl.sri.com>. ["Introducing OBJ3", J. Goguen et al, SRI-CSL-88-9, SRI Intl, 1988].Last updated: 1995-03-16
Nearby terms:
OBJ ♦ OBJ0 ♦ OBJ2 ♦ OBJ3 ♦ object ♦ ObjectBroker ♦ ObjectCenter ♦ Object CHILL
Try this search on Wikipedia, Wiktionary, Google, OneLook.
