Theory of bisimulation for a fragment of concurrent ML with local names

Proceedings - Symposium on Logic in Computer Science

Volumn , Issue , 2000, Pages 311-321

  Jeffrey, Alan ^a   Rathke, Julian ^a  

^a DEPAUL UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

BOOLEAN FUNCTIONS; COMPUTER SIMULATION; FORMAL LANGUAGES; MULTIPROGRAMMING; THEOREM PROVING;

BISIMULATION THEORY; CONCURRENT LANGUAGES; HIGHER ORDER FUNCTIONS; LOCAL NAMES;

COMPUTATIONAL LINGUISTICS;

EID: 0033700291     PISSN: 10436871     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (30)