Jose Meseguer

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