skip to content
Advances in theory and formal methods of computing : proceedings of the Third Imperial College Workshop : Christ Church, Oxford, 1-3 April 1996 Preview this item
ClosePreview this item
Checking...

Advances in theory and formal methods of computing : proceedings of the Third Imperial College Workshop : Christ Church, Oxford, 1-3 April 1996

Author: A Edalat; S Jourdan; G McCusker; Imperial College of Science, Technology and Medicine. Department of Computing.
Publisher: London : Imperial Collge Press, ©1996.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
Database:WorldCat
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
Document Type: Book
All Authors / Contributors: A Edalat; S Jourdan; G McCusker; Imperial College of Science, Technology and Medicine. Department of Computing.
ISBN: 1860940315 9781860940316
OCLC Number: 36676195
Notes: "Proceedings of the third workshop of the Theory and Formal Methods Section of the Department of Computing, Imperial College, London"--P. v.
Description: viii, 330 p. : ill. ; 23 cm.
Contents: Toposes pour les Vraiment Nuls / Steven Vickers --
Real PCF Extended with [actual symbol not reproducible] is Universal / Martin Hotzel Escardo --
A Smooth Approximation on the Edge of Chaos / Peter J. Potts --
Logical Relations and [lambda]-theories / Antonio Bucciarelli --
Gamma and the Logic of Transition Traces / Simon J. Gay and Chris L. Hankin --
How Linear is Howe? / Roy L. Crole --
The Generalized Riemann Integral on Locally Compact Spaces / Abbas Edalat and Sara Negri --
Finite Approximation of Functions using Inverse Sequences of Graphs / M. B. Smyth and J. Webster --
Specifications as Spans of Geometric Morphisms / Till Plewe --
A Computational Model for Metric Spaces / Abbas Edalat and Reinhold Heckmann --
A Semantic View on Distributed Computability and Complexity / Eric Goubault --
Reductions of Search Space in RUE-resolution Theorem Proving / Dimitris Raptis --
Process Algebra for Object-Oriented Specification / Sarah J. Liebert. Convenient Categories of Asynchronous Processes and Simulations / Dusko Pavlovic --
Type Inference for a Typed Process Calculus / Russell Harmer --
Categories of Processes with State / Lindsay Errington --
On an Algebraic Flavoring of the Logical Approach / Theodosis Dimitrakos --
Structured Databases: a Framework to Reason about Belief Change / Dov Gabbay and Odinaldo Rodrigues --
A Categorical Workspace for System Configuration / Gillian Hill --
Extending B AMN with Concurrency / Kevin Lano, Jose Fiadeiro and J. Dick --
Notions of Refinement for a Coordination Language for Gamma / Michel R. V. Chaudron and Edwin de Jong --
Full Abstraction by Translation / Guy McCusker --
Unifying Fixed-Point Theorems via Enriched Categories / Sofia Jourdan and Kim R. Wagner --
Syntactic Continuity from Structural Operational Semantics / David Sands --
A Proof of the Completeness of an Inference System for Strictness Analysis Developed by Hankin and Le Metayer / A. P. Gabrielle Sinnadurai. Ordered SOS Rules and Weak Bisimulation / Iain Phillips and Irek Ulidowksi --
Finite but Unbounded Delay in Synchronous CCS / Michael Huth and Marta Kwiatkowska --
Hausdorff Systems / Chris Townsend.
Responsibility: editors, A. Edalat, S. Jourdan, G. McCusker.

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/36676195> # Advances in theory and formal methods of computing : proceedings of the Third Imperial College Workshop : Christ Church, Oxford, 1-3 April 1996
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "36676195" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/enk> ;
   library:placeOfPublication <http://dbpedia.org/resource/London> ; # London
   schema:about <http://id.worldcat.org/fast/932926> ; # Formal methods (Computer science)
   schema:about <http://dewey.info/class/004.015113/e21/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/41244848#Topic/formal_methods_computer_science_congresses> ; # Formal methods (Computer science)--Congresses
   schema:about <http://experiment.worldcat.org/entity/work/data/41244848#Topic/computer_science> ; # Computer science
   schema:about <http://experiment.worldcat.org/entity/work/data/41244848#Topic/computer_science_congresses> ; # Computer science--Congresses
   schema:about <http://id.worldcat.org/fast/872451> ; # Computer science
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://experiment.worldcat.org/entity/work/data/41244848#Person/jourdan_s_sofia> ; # Sofia Jourdan
   schema:contributor <http://viaf.org/viaf/45122099> ; # Guy McCusker
   schema:contributor <http://experiment.worldcat.org/entity/work/data/41244848#Person/edalat_a_abbas> ; # Abbas Edalat
   schema:contributor <http://experiment.worldcat.org/entity/work/data/41244848#Meeting/imperial_college_department_of_computing_workshop_on_theory_and_formal_methods_3rd_1996_oxford_england> ; # Imperial College Department of Computing Workshop on Theory and Formal Methods (3rd : 1996 : Oxford, England)
   schema:contributor <http://viaf.org/viaf/137936997> ; # Imperial College of Science, Technology and Medicine. Department of Computing.
   schema:copyrightYear "1996" ;
   schema:datePublished "1996" ;
   schema:description "Toposes pour les Vraiment Nuls / Steven Vickers -- Real PCF Extended with [actual symbol not reproducible] is Universal / Martin Hotzel Escardo -- A Smooth Approximation on the Edge of Chaos / Peter J. Potts -- Logical Relations and [lambda]-theories / Antonio Bucciarelli -- Gamma and the Logic of Transition Traces / Simon J. Gay and Chris L. Hankin -- How Linear is Howe? / Roy L. Crole -- The Generalized Riemann Integral on Locally Compact Spaces / Abbas Edalat and Sara Negri -- Finite Approximation of Functions using Inverse Sequences of Graphs / M. B. Smyth and J. Webster -- Specifications as Spans of Geometric Morphisms / Till Plewe -- A Computational Model for Metric Spaces / Abbas Edalat and Reinhold Heckmann -- A Semantic View on Distributed Computability and Complexity / Eric Goubault -- Reductions of Search Space in RUE-resolution Theorem Proving / Dimitris Raptis -- Process Algebra for Object-Oriented Specification / Sarah J. Liebert."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/41244848> ;
   schema:genre "Conference publication"@en ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:inLanguage "en" ;
   schema:name "Advances in theory and formal methods of computing : proceedings of the Third Imperial College Workshop : Christ Church, Oxford, 1-3 April 1996"@en ;
   schema:numberOfPages "330" ;
   schema:productID "36676195" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/36676195#PublicationEvent/london_imperial_collge_press_c1996> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/41244848#Agent/imperial_collge_press> ; # Imperial Collge Press
   schema:workExample <http://worldcat.org/isbn/9781860940316> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/36676195> ;
    .


Related Entities

<http://dbpedia.org/resource/London> # London
    a schema:Place ;
   schema:name "London" ;
    .

<http://experiment.worldcat.org/entity/work/data/41244848#Agent/imperial_collge_press> # Imperial Collge Press
    a bgn:Agent ;
   schema:name "Imperial Collge Press" ;
    .

<http://experiment.worldcat.org/entity/work/data/41244848#Meeting/imperial_college_department_of_computing_workshop_on_theory_and_formal_methods_3rd_1996_oxford_england> # Imperial College Department of Computing Workshop on Theory and Formal Methods (3rd : 1996 : Oxford, England)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/41244848#Place/oxford_england> ; # Oxford, England)
   schema:name "Imperial College Department of Computing Workshop on Theory and Formal Methods (3rd : 1996 : Oxford, England)" ;
    .

<http://experiment.worldcat.org/entity/work/data/41244848#Person/edalat_a_abbas> # Abbas Edalat
    a schema:Person ;
   schema:familyName "Edalat" ;
   schema:givenName "Abbas" ;
   schema:givenName "A." ;
   schema:name "Abbas Edalat" ;
    .

<http://experiment.worldcat.org/entity/work/data/41244848#Person/jourdan_s_sofia> # Sofia Jourdan
    a schema:Person ;
   schema:familyName "Jourdan" ;
   schema:givenName "Sofia" ;
   schema:givenName "S." ;
   schema:name "Sofia Jourdan" ;
    .

<http://experiment.worldcat.org/entity/work/data/41244848#Place/oxford_england> # Oxford, England)
    a schema:Place ;
   schema:name "Oxford, England)" ;
    .

<http://experiment.worldcat.org/entity/work/data/41244848#Topic/computer_science_congresses> # Computer science--Congresses
    a schema:Intangible ;
   schema:name "Computer science--Congresses"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/41244848#Topic/formal_methods_computer_science_congresses> # Formal methods (Computer science)--Congresses
    a schema:Intangible ;
   schema:name "Formal methods (Computer science)--Congresses"@en ;
    .

<http://id.worldcat.org/fast/872451> # Computer science
    a schema:Intangible ;
   schema:name "Computer science"@en ;
    .

<http://id.worldcat.org/fast/932926> # Formal methods (Computer science)
    a schema:Intangible ;
   schema:name "Formal methods (Computer science)"@en ;
    .

<http://viaf.org/viaf/137936997> # Imperial College of Science, Technology and Medicine. Department of Computing.
    a schema:Organization ;
   schema:name "Imperial College of Science, Technology and Medicine. Department of Computing." ;
    .

<http://viaf.org/viaf/45122099> # Guy McCusker
    a schema:Person ;
   schema:familyName "McCusker" ;
   schema:givenName "Guy" ;
   schema:givenName "G." ;
   schema:name "Guy McCusker" ;
    .

<http://worldcat.org/isbn/9781860940316>
    a schema:ProductModel ;
   schema:isbn "1860940315" ;
   schema:isbn "9781860940316" ;
    .

<http://www.worldcat.org/title/-/oclc/36676195>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/36676195> ; # Advances in theory and formal methods of computing : proceedings of the Third Imperial College Workshop : Christ Church, Oxford, 1-3 April 1996
   schema:dateModified "2016-05-11" ;
   void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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