skip to content
Modal logic and process algebra : a bisimulation perspective Preview this item
ClosePreview this item
Checking...

Modal logic and process algebra : a bisimulation perspective

Author: A Ponse; Maarten de Rijke; Yde Venema
Publisher: Stanford, Calif. : CSLI Publications, ©1995.
Series: CSLI lecture notes, no. 53.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Conference papers and proceedings
Congresses
Material Type: Conference publication, Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: A Ponse; Maarten de Rijke; Yde Venema
ISBN: 188152695X 9781881526957 1881526968 9781881526964
OCLC Number: 32854847
Notes: Papers presented at a workshop called Three days of Bisimulation, which was held April 1994 at the Centre for Mathematics and Computer Sciences, Amsterdam.
Description: xix, 327 pages : illustrations ; 24 cm.
Contents: Submodel preservation theorems in finite variable fragments / H. Andreka, J. van Benthem, and I. Nemeti --
Process algebra with feedback / J.C.M. Baeten, J.A. Bergstra, and Gh. Stefanescu --
Frame-based process logics / J.A. Bergstra and A. Ponse --
Re-interpreting the modal [mu]-calculus / Marcello M. Bonsangue and Marta Z. Kwiatkowska --
Bisimulation of context-free grammars and of pushdown automata / Didier Caucal --
Saturation and the Hennessy-Milner property / Robert Goldblatt --
A modal logic for [mu]CRL / J.F. Groote and S.F.M. van Vlumen.
Series Title: CSLI lecture notes, no. 53.
Responsibility: edited by Alban Ponse, Maarten de Rijke & Yde Venema.
More information:

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/32854847> # Modal logic and process algebra : a bisimulation perspective
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "32854847" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/836966635#Place/stanford_calif> ; # Stanford, Calif.
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/cau> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/836966635#Topic/kontextfreie_grammatik> ; # Kontextfreie Grammatik
   schema:about <http://experiment.worldcat.org/entity/work/data/836966635#Topic/logica_matematica> ; # Logica matematica
   schema:about <http://experiment.worldcat.org/entity/work/data/836966635#Topic/modallogik> ; # Modallogik
   schema:about <http://experiment.worldcat.org/entity/work/data/836966635#Topic/modale_logica> ; # Modale logica
   schema:about <http://experiment.worldcat.org/entity/work/data/836966635#Topic/procesalgebra> ; # Procesalgebra
   schema:about <http://id.worldcat.org/fast/1024350> ; # Modality (Logic)
   schema:about <http://experiment.worldcat.org/entity/work/data/836966635#Topic/formal_languages> ; # Formal languages
   schema:about <http://dewey.info/class/005.131/e20/> ;
   schema:about <http://id.worldcat.org/fast/1052928> ; # Parallel processing (Electronic computers)
   schema:about <http://id.worldcat.org/fast/932922> ; # Formal languages
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/207368380> ; # Yde Venema
   schema:contributor <http://viaf.org/viaf/114236803> ; # Alban Ponse
   schema:contributor <http://viaf.org/viaf/5018075> ; # Maarten de Rijke
   schema:copyrightYear "1995" ;
   schema:datePublished "1995" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/836966635> ;
   schema:genre "Conference publication"@en ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/836966635#Series/csli_lecture_notes> ; # CSLI lecture notes ;
   schema:name "Modal logic and process algebra : a bisimulation perspective"@en ;
   schema:productID "32854847" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/32854847#PublicationEvent/stanford_calif_csli_publications_1995> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/836966635#Agent/csli_publications> ; # CSLI Publications
   schema:url <http://catdir.loc.gov/catdir/toc/cam022/95032985.html> ;
   schema:workExample <http://worldcat.org/isbn/9781881526957> ;
   schema:workExample <http://worldcat.org/isbn/9781881526964> ;
   umbel:isLike <http://bnb.data.bl.uk/id/resource/GB9650108> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/32854847> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/836966635#Agent/csli_publications> # CSLI Publications
    a bgn:Agent ;
   schema:name "CSLI Publications" ;
    .

<http://experiment.worldcat.org/entity/work/data/836966635#Place/stanford_calif> # Stanford, Calif.
    a schema:Place ;
   schema:name "Stanford, Calif." ;
    .

<http://experiment.worldcat.org/entity/work/data/836966635#Series/csli_lecture_notes> # CSLI lecture notes ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/32854847> ; # Modal logic and process algebra : a bisimulation perspective
   schema:name "CSLI lecture notes ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/836966635#Topic/kontextfreie_grammatik> # Kontextfreie Grammatik
    a schema:Intangible ;
   schema:name "Kontextfreie Grammatik"@en ;
    .

<http://id.worldcat.org/fast/1024350> # Modality (Logic)
    a schema:Intangible ;
   schema:name "Modality (Logic)"@en ;
    .

<http://id.worldcat.org/fast/1052928> # Parallel processing (Electronic computers)
    a schema:Intangible ;
   schema:name "Parallel processing (Electronic computers)"@en ;
    .

<http://id.worldcat.org/fast/932922> # Formal languages
    a schema:Intangible ;
   schema:name "Formal languages"@en ;
    .

<http://viaf.org/viaf/114236803> # Alban Ponse
    a schema:Person ;
   schema:birthDate "1955" ;
   schema:familyName "Ponse" ;
   schema:givenName "Alban" ;
   schema:givenName "A." ;
   schema:name "Alban Ponse" ;
    .

<http://viaf.org/viaf/207368380> # Yde Venema
    a schema:Person ;
   schema:birthDate "1963" ;
   schema:familyName "Venema" ;
   schema:givenName "Yde" ;
   schema:name "Yde Venema" ;
    .

<http://viaf.org/viaf/5018075> # Maarten de Rijke
    a schema:Person ;
   schema:familyName "Rijke" ;
   schema:givenName "Maarten de" ;
   schema:name "Maarten de Rijke" ;
    .

<http://worldcat.org/isbn/9781881526957>
    a schema:ProductModel ;
   schema:isbn "188152695X" ;
   schema:isbn "9781881526957" ;
    .

<http://worldcat.org/isbn/9781881526964>
    a schema:ProductModel ;
   schema:isbn "1881526968" ;
   schema:isbn "9781881526964" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.