Searching for "Formalising and Prototyping a Concurrent Object-Based Language." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

Formalising and Prototyping a Concurrent Object-Based Language
by Lars-Åke Fredlund, Jari Koistinen, Fredrik Orava, Ericsson Ab
…Formalising and Prototyping a Concurrent Object-Based Language Lars-ake Fredlund ?1 , Jari…
Add To MetaCart

Logical and Operational Methods in the Analysis of Programs and Systems
by F. Nielson, P. Cousot, Together P. Cousot, M. Dam, P. Degano, P. Jouvelot, A. Mycroft, B. Thomsen
… to debug an agent-based system. Formalising and prototyping a concurrent object-based language (by L…
Cited by 1 (0 self) – Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB