Jose Meseguer

Formal Modeling Actors Open Systems Biological Systems Lecture Notes in Computer Science