A survey of modal logics characterising behavioural equivalences for non-deterministic and stochastic systems

Volume 18
Special Issue 01 - Feb 2008
Add to Basket £30.00 / $45.00
Request Permissions
Cited by Articles (CrossRef)
Cited by Articles (Google Scholar)
Citation Alert
Go to Next Abstract in TOC
Go to Previous Abstract in TOC
Blog this Article close

Copy and paste this code to insert a reference to this article in your blog or online community profile:

Highlight All
<div style="background: #FFFFFF; margin: 10px 10px 10px 10px; padding: 10px 10px 10px 20px; text-align: left; border-top: 1px dashed #a5bbd1; border-left: 10px solid #a5bbd1; font-family: Verdana, Geneva, sans-serif;"><br> <div style="font-size: 12px; padding: 0px 0px 10px 0px; font-weight:bold; color: #003366;">A survey of modal logics characterising behavioural equivalences for non-deterministic and stochastic systems</div><br><div style="font-size: 10px;"><b>MARCO BERNARDO and STEFANIA BOTTA (2008).</b><br /> <a href="http://journals.cambridge.org/action/displayJournal?jid=MSC">Mathematical Structures in Computer Science</a>, <a href="http://journals.cambridge.org/action/displayJournal?jid=MSC&volumeId=18&bVolume=y#loc18 ">Volume 18</a>, <a href="http://journals.cambridge.org/action/displayIssue?jid=MSC&volumeId=18&issueId=01&iid=1788448"> Special Issue 01</a>, February 2008 pp 29-55 <br/> <a href="http://journals.cambridge.org/action/displayAbstract?aid=1788448">http://journals.cambridge.org/action/displayAbstract?aid=1788448</a></div></div>
The code will display like this:

A survey of modal logics characterising behavioural equivalences for non-deterministic and stochastic systems

MARCO BERNARDO and STEFANIA BOTTA (2008).
Mathematical Structures in Computer Science, Volume 18, Special Issue 01, February 2008 pp 29-55 http://journals.cambridge.org/action/displayAbstract?aid=1788448

Blog this Article

Mathematical Structures in Computer Science (2008), 18 : 29-55 Cambridge University Press

doi:10.1017/S0960129507006408 (About doi)

Published online by Cambridge University Press 05 Mar 2008

Social Bookmarking

Username or Email Address	Password

Cambridge Journals Online

Mathematical Structures in Computer Science (2008), 18 : 29-55 Cambridge University Press

doi:10.1017/S0960129507006408 (About doi)

Published online by Cambridge University Press 05 Mar 2008