Title
Recent Extensions to the Stochastic Process Algebra Tool CASPA
Abstract
_cf_loadingtexthtml="";_cf_contextpath="";_cf_ajaxscriptsrc="/CFIDE/scripts/ajax";_cf_jsonprefix='//';_cf_clientid='C6DCB104377EDEBBC01DCA888C455C12';Recent Extensions to the Stochastic Process Algebra Tool CASPA function settab() { var mytabs = ColdFusion.Layout.getTabLayout('citationdetails'); mytabs.on('tabchange', function(tabpanel,activetab) { document.cookie = 'picked=' + '1447435' + ',' + activetab.id; }) }function letemknow(){ ColdFusion.Window.show('letemknow');}function testthis(){alert('test');}function loadalert(){ alert("I am in the load alert"); }function loadalert2(){ alert("I am in the load alert2"); } google.load('visualization', '1', {packages:['orgchart']}); google.setOnLoadCallback(drawChart); function drawChart() { var data = new google.visualization.DataTable(); data.addColumn('string', 'Name'); data.addColumn('string', 'Manager'); data.addColumn('string', 'ToolTip'); data.addRows([ [{v:'0', f:'CCS for this Article
Year
DOI
Venue
2008
10.1109/QEST.2008.13
St. Malo
Keywords
Field
DocType
new google,function drawchart,caspa function settab,stochastic process algebra tool,recent extensions,load alert2,var data,function loadalert2,function letemknow,load alert,function loadalert,function testthis,algorithm design and analysis,gui,algebra,stochastic processes,front end,graphical user interfaces,graphical model,process algebra
Front and back ends,Algorithm design,Programming language,Computer science,Deadlock,Theoretical computer science,Graphical user interface,Preprocessor,Graphical model,Process calculus,Debugging
Conference
ISBN
Citations 
PageRank 
978-0-7695-3360-5
3
0.42
References 
Authors
1
3
Name
Order
Citations
PageRank
Martin Riedl130.75
Johann Schuster2283.69
Markus Siegle337632.29