Computer Software

Nonsequential Automata Semantics for a Concurrent, Object-Based Language

Cognitive Science / Computer Software / Boolean Satisfiability