Theory and formal methods of computing 94: proceedings of the Second Imperial College Workshop
Saved in:
| Format: | Book |
|---|---|
| Language: | English |
| Published: |
London
ICP, Imperial College Press
1995
|
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | IX, 431 S. Ill., graph. Darst. |
| ISBN: | 186094003X |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV010709230 | ||
| 003 | DE-604 | ||
| 005 | 19970421 | ||
| 007 | t| | ||
| 008 | 960417s1995 xx ad|| |||| 10||| eng d | ||
| 020 | |a 186094003X |9 1-86094-003-X | ||
| 035 | |a (OCoLC)33044482 | ||
| 035 | |a (DE-599)BVBBV010709230 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-12 |a DE-739 |a DE-384 |a DE-91G | ||
| 050 | 0 | |a QA75.5 | |
| 082 | 0 | |a 005.1/01/5113 |2 20 | |
| 084 | |a DAT 530f |2 stub | ||
| 245 | 1 | 0 | |a Theory and formal methods of computing 94 |b proceedings of the Second Imperial College Workshop |c Imperial College, Department of Computing. Ed.: C. Hankin ... |
| 264 | 1 | |a London |b ICP, Imperial College Press |c 1995 | |
| 300 | |a IX, 431 S. |b Ill., graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 4 | |a Informatik | |
| 650 | 4 | |a Computer science |v Congresses | |
| 650 | 4 | |a Formal methods (Computer science) |v Congresses | |
| 650 | 0 | 7 | |a Theoretische Informatik |0 (DE-588)4196735-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Datenverarbeitung |0 (DE-588)4011152-0 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1994 |z Cambridge |2 gnd-content | |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1994 |z London |2 gnd-content | |
| 689 | 0 | 0 | |a Theoretische Informatik |0 (DE-588)4196735-5 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Datenverarbeitung |0 (DE-588)4011152-0 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Hankin, Chris |e Sonstige |4 oth | |
| 856 | 4 | 2 | |m Digitalisierung TU Muenchen |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007149743&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-007149743 | |
Record in the Search Index
| _version_ | 1820882558451187712 |
|---|---|
| adam_text |
Contents
MONDAY,
12 September 1994
Chair:
Chrte
Hankin
Samson Abramsky
and Guy McCusker
Games for Recursive Types
.1
Michael Huth
Interaction
Orders
as
Games.21
Ian Mackie
A Lambda-
Evaluator
Based on Interaction Nets
.41
Chair: Rajagopal Nagarajan
Andrew M. Pitts (INVITED LECTURE)
Completeness and Continuity Properties of Applicative Bisimulation
.61
Simon Gay
Combinators for Interaction Nets
.63
Chair: John C. Reynolds
Roy Crole, Simon Gay and Rajagopal Nagarajan
An Internal Language for Interaction Categories
.85
DuŠKo Pavlovic
Categorical Logic of Concurrency and Interaction
I: Synchronous Processes
.105
Chair: Paul Taylor
Juarez Muylaert-Pilho
Continuation Strictness Analysis of Lists
.143
TUESDAY,
13
September
1994
Chair: Samson Abramsky
Sarah Liebert
Modularization and Priorities
.167
Chrysafis
Hartonas
and
Marta Kwiatkowska
Synchronization Trees and Fairness: A Case Study
.181
Chair:
Ian
Macine
Steven Vickers
Locales
are
Not Pointless
.199
Chair: Steven Vickera
Gillian Hill
Constructing Specifications and Modules in a KZ-doctrine
.217
José
L.
Fiadeiro and Tom Maibaum
Verifying for Reuse: Foundations of Object-Oriented
System Verification
.235
Chair: Mike Smyth
Martín
Hõtzel
Escardó
Induction and Recursion on the Real Line
.259
François Lamarche
From
Chu
Spaces to Cpos
.283
David Clark, Lindsay
Errington
and Chris
Hankin
Static Analysis of Value-Passing Process Calculi
.307
WEDNESDAY,
14
September
1994
Chair: Tom Maibaum
Steven Vickers
Geometric Logic as a Specification Language
.321
Kevin
Lano
and Steven
Goldsack
Refinement, Subtyping and Subclassing in VDM*"*"
.341
Chair: Jam PhiiKps
Mark Dawson and Steven Vickers
Towards a GeoZ Toolkit
.365
Thomas P. Jensen
Denotational Semantics of Timed Dataflow Programs
.381
Chair:
Marła Kwioikowska
Mike
В.
Smyth
Inverse Limits of Graphs
.397
Abbas Edalat
Domain of Compututation of a Random Field in Statistical Physics
.411
Author Index
. 431 |
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV010709230 |
| callnumber-first | Q - Science |
| callnumber-label | QA75 |
| callnumber-raw | QA75.5 |
| callnumber-search | QA75.5 |
| callnumber-sort | QA 275.5 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SS 1994 |
| classification_tum | DAT 530f |
| ctrlnum | (OCoLC)33044482 (DE-599)BVBBV010709230 |
| dewey-full | 005.1/01/5113 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.1/01/5113 |
| dewey-search | 005.1/01/5113 |
| dewey-sort | 15.1 11 45113 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 c 4500</leader><controlfield tag="001">BV010709230</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19970421</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">960417s1995 xx ad|| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">186094003X</subfield><subfield code="9">1-86094-003-X</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)33044482</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010709230</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-12</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-91G</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA75.5</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1/01/5113</subfield><subfield code="2">20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 530f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Theory and formal methods of computing 94</subfield><subfield code="b">proceedings of the Second Imperial College Workshop</subfield><subfield code="c">Imperial College, Department of Computing. Ed.: C. Hankin ...</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">London</subfield><subfield code="b">ICP, Imperial College Press</subfield><subfield code="c">1995</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">IX, 431 S.</subfield><subfield code="b">Ill., graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Formal methods (Computer science)</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Theoretische Informatik</subfield><subfield code="0">(DE-588)4196735-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Datenverarbeitung</subfield><subfield code="0">(DE-588)4011152-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">1994</subfield><subfield code="z">Cambridge</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">1994</subfield><subfield code="z">London</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Theoretische Informatik</subfield><subfield code="0">(DE-588)4196735-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Datenverarbeitung</subfield><subfield code="0">(DE-588)4011152-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Hankin, Chris</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung TU Muenchen</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007149743&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-007149743</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1994 Cambridge gnd-content (DE-588)1071861417 Konferenzschrift 1994 London gnd-content |
| genre_facet | Konferenzschrift 1994 Cambridge Konferenzschrift 1994 London |
| id | DE-604.BV010709230 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T17:08:48Z |
| institution | BVB |
| isbn | 186094003X |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007149743 |
| oclc_num | 33044482 |
| open_access_boolean | |
| owner | DE-12 DE-739 DE-384 DE-91G DE-BY-TUM |
| owner_facet | DE-12 DE-739 DE-384 DE-91G DE-BY-TUM |
| physical | IX, 431 S. Ill., graph. Darst. |
| publishDate | 1995 |
| publishDateSearch | 1995 |
| publishDateSort | 1995 |
| publisher | ICP, Imperial College Press |
| record_format | marc |
| spelling | Theory and formal methods of computing 94 proceedings of the Second Imperial College Workshop Imperial College, Department of Computing. Ed.: C. Hankin ... London ICP, Imperial College Press 1995 IX, 431 S. Ill., graph. Darst. txt rdacontent n rdamedia nc rdacarrier Informatik Computer science Congresses Formal methods (Computer science) Congresses Theoretische Informatik (DE-588)4196735-5 gnd rswk-swf Datenverarbeitung (DE-588)4011152-0 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1994 Cambridge gnd-content (DE-588)1071861417 Konferenzschrift 1994 London gnd-content Theoretische Informatik (DE-588)4196735-5 s DE-604 Datenverarbeitung (DE-588)4011152-0 s Hankin, Chris Sonstige oth Digitalisierung TU Muenchen application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007149743&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Theory and formal methods of computing 94 proceedings of the Second Imperial College Workshop Informatik Computer science Congresses Formal methods (Computer science) Congresses Theoretische Informatik (DE-588)4196735-5 gnd Datenverarbeitung (DE-588)4011152-0 gnd |
| subject_GND | (DE-588)4196735-5 (DE-588)4011152-0 (DE-588)1071861417 |
| title | Theory and formal methods of computing 94 proceedings of the Second Imperial College Workshop |
| title_auth | Theory and formal methods of computing 94 proceedings of the Second Imperial College Workshop |
| title_exact_search | Theory and formal methods of computing 94 proceedings of the Second Imperial College Workshop |
| title_full | Theory and formal methods of computing 94 proceedings of the Second Imperial College Workshop Imperial College, Department of Computing. Ed.: C. Hankin ... |
| title_fullStr | Theory and formal methods of computing 94 proceedings of the Second Imperial College Workshop Imperial College, Department of Computing. Ed.: C. Hankin ... |
| title_full_unstemmed | Theory and formal methods of computing 94 proceedings of the Second Imperial College Workshop Imperial College, Department of Computing. Ed.: C. Hankin ... |
| title_short | Theory and formal methods of computing 94 |
| title_sort | theory and formal methods of computing 94 proceedings of the second imperial college workshop |
| title_sub | proceedings of the Second Imperial College Workshop |
| topic | Informatik Computer science Congresses Formal methods (Computer science) Congresses Theoretische Informatik (DE-588)4196735-5 gnd Datenverarbeitung (DE-588)4011152-0 gnd |
| topic_facet | Informatik Computer science Congresses Formal methods (Computer science) Congresses Theoretische Informatik Datenverarbeitung Konferenzschrift 1994 Cambridge Konferenzschrift 1994 London |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007149743&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT hankinchris theoryandformalmethodsofcomputing94proceedingsofthesecondimperialcollegeworkshop |