Skip to content

A Logical Characterization of Asynchronously Communicating Agents.

Sren Christensen

Year1992
ProceedingsLFCS

Browse the full LFCS paper archive.