Bisimulation for probabilistic transition systems: a coalgebraic approach

  • Authors:

  • E. P. Vink;J. J.M.M. Rutten

  • Affiliations:

  • -;-

  • Venue:
  • Bisimulation for probabilistic transition systems: a coalgebraic approach
  • Year:
  • 1998

Quantified Score

Hi-index 0.00

Visualization

Abstract

_cf_loadingtexthtml="";_cf_contextpath="";_cf_ajaxscriptsrc="/CFIDE/scripts/ajax";_cf_jsonprefix='//';_cf_clientid='6A5686383CBFBFC2F2470D7C271E474F';Bisimulation for probabilistic transition systems: a coalgebraic approach function settab() { var mytabs = ColdFusion.Layout.getTabLayout('citationdetails'); mytabs.on('tabchange', function(tabpanel,activetab) { document.cookie = 'picked=' + '869253' + ',' + 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 Technical Report