Behavior Discussion List

Behavior Discussion List

Goal

The purpose of this list is to facilitate discussion of subjects related to behavioral aspects of computer science and mathematics. This includes, but is not limited to, various versions of hidden algebra and behavioral equational logic, observational logic, and coalgebra, as well as systems that support them, such as CafeOBJ, BOBJ, and Kumo.

To Join or Leave

If you wish to join us, leave us, or have any question, please send a message to

grosu@email.arc.nasa.gov

which points to Grigore Rosu. Please make sure that you give us your name, your email address that you want to add to our list, as well as a pointer to your web page, so we can put a link to it below. Our policy is to list all the members on this web page, but if you don't want your name below please let us know it explicitely. Your message will not be processed automatically.

Goal

To Join or Leave

To Send Messages

Membership