153 followers
Concurrent MetateM - A language for modelling reactive systems (1993) : Michael Fisher DOI: https://t.co/Q4NiY6fy5t #MAS #METATEM #concurrency #logic #reactive_systems #temporal_logic #my_bibtex
Concurrent MetateM - A language for modelling reactive systems (1993) : Michael Fisher DOI: https://t.co/Q4NiY6fy5t #MAS #METATEM #concurrency #logic #reactive_systems #temporal_logic #my_bibtex
Concurrent MetateM - A language for modelling reactive systems (1993) : Michael Fisher DOI: https://t.co/Q4NiY6fy5t #MAS #METATEM #concurrency #logic #reactive_systems #temporal_logic #my_bibtex