Mjolsness, Eric <br/><br/>
Towards Measurable Types for Dynamical Process Modeling Languages.  [electronic resource] 

 -  Electronic notes in theoretical computer science  Sep 2010 
 - 123-144 p.  digital 
<br/><br/> Publication Type: Journal Article 
<br/><br/><label>ISSN: </label>1571-0661 
<br/><br/><label>Standard No.: </label>10.1016/j.entcs.2010.08.008  doi