Remi Barrere and Eric Lenormand and Dai Bui and Edward A. Lee and Christopher Shaver and Stavros Tripakis

EECS Department, University of California, Berkeley

Technical Report No. UCB/EECS-2011-32

April 26, 2011

http://www2.eecs.berkeley.edu/Pubs/TechRpts/2011/EECS-2011-32.pdf

Pthales is a multidimensional dataflow model of computation implemented in the heterogeneous modeling environment Ptolemy II. This report gives a tutorial of Pthales and a formal analysis of Pthales semantics.

---

BibTeX citation:

@techreport{Barrere:EECS-2011-32,
    Author= {Barrere, Remi and Lenormand, Eric and Bui, Dai and Lee, Edward A. and Shaver, Christopher and Tripakis, Stavros},
    Title= {An Introduction to the Pthales Domain of Ptolemy II},
    Year= {2011},
    Month= {Apr},
    Url= {http://www2.eecs.berkeley.edu/Pubs/TechRpts/2011/EECS-2011-32.html},
    Number= {UCB/EECS-2011-32},
    Abstract= {Pthales is a multidimensional dataflow model of computation implemented in the heterogeneous modeling environment Ptolemy II. This report gives a tutorial of Pthales and a formal analysis of Pthales semantics.},
}

EndNote citation:

%0 Report
%A Barrere, Remi 
%A Lenormand, Eric 
%A Bui, Dai 
%A Lee, Edward A. 
%A Shaver, Christopher 
%A Tripakis, Stavros 
%T An Introduction to the Pthales Domain of Ptolemy II
%I EECS Department, University of California, Berkeley
%D 2011
%8 April 26
%@ UCB/EECS-2011-32
%U http://www2.eecs.berkeley.edu/Pubs/TechRpts/2011/EECS-2011-32.html
%F Barrere:EECS-2011-32