Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
My Menu
Marked Items 
Alerts
Order History
Saved Items
All
Favorites
    
Book Chapter Printable view
An Adequate Logic for Full LOTOS

An Adequate Logic for Full LOTOS

Book SeriesLecture Notes in Computer Science
PublisherSpringer Berlin / Heidelberg
ISSN0302-9743 (Print) 1611-3349 (Online)
VolumeVolume 2021/2001
BookFME 2001: Formal Methods for Increasing Software Productivity
DOI10.1007/3-540-45251-6
Copyright2001
ISBN978-3-540-41791-0
DOI10.1007/3-540-45251-6_21
Pages384-395
Subject CollectionComputer Science
SpringerLink DateMonday, January 01, 2001
Add to marked items

An Adequate Logic for Full LOTOS

Muffy Calder6 Contact Information, Savi Maharaj7 Contact Information and Carron Shankland7 Contact Information

(6)  Department of Computing Science, University of Glasgow, Glasgow, G12 8QQ, UK
(7)  Department of Computing Science and Mathematics, University of Stirling, Stirling, FK9 4LA, UK
Abstract
We present a novel result for a logic for symbolic transition systems based on LOTOS processes. The logic is adequate with respect to bisimulation defined on symbolic transition systems.

Contact Information Muffy Calder
Email: muffy@dcs.gla.ac.uk

Contact Information Savi Maharaj
Email: savi@cs.stir.ac.uk

Contact Information Carron Shankland
Email: carron@cs.stir.ac.uk
Fulltext Preview (Small, Large)
Image of the first page of the fulltext

References secured to subscribers.
more options
Find


Export this chapter
Export this chapter as RIS | Text
 
Frequently asked questions | General information on journals and books | Send us your feedback | Impressum | Contact
© Springer. Part of Springer Science+Business Media
Privacy, Disclaimer, Terms and Conditions, © Copyright Information
Remote Address: 38.107.191.106 • Server: mpweb01
HTTP User Agent: CCBot/1.0 (+http://www.commoncrawl.org/bot.html)