Information Technology Reference
In-Depth Information
34. Stark,E.W.,Cleavland,R.,Smolka,S.A.:Aprocess-algebraiclanguageforproba-
bilisticI/Oautomata.In:Amadio,R.M.,Lugiez,D.(eds.)CONCUR2003.LNCS,
vol.2761,pp.193-207. Springer,Heidelberg(2003)
35. Thiele, L., Wandeler,E., Stoimenov,N.: Real-time interfaces for composing real-
timesystems.In:EMSOFT,pp.34-43.ACM,NewYork(2006)
36. http://www.cs.aau.dk/~adavid/tiga/tio.html
37. Vaandrager,F.W.:Ontherelationshipbetweenprocessalgebraandinput/output
automata.In:LICS,pp.387-398(1991)
 
Search WWH ::




Custom Search