Comparative transition system semantics:
Abstract: "The notion of a transition system is employed to relate programs, conceived as binary (transition) relations on states, to processes, viewed as dynamic states. The comparative study is carried out syntactically through the enumeration of rules for transitions, and semantically in ter...
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Amsterdam
1992
|
| Series: | Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS
92,22 |
| Subjects: | |
| Summary: | Abstract: "The notion of a transition system is employed to relate programs, conceived as binary (transition) relations on states, to processes, viewed as dynamic states. The comparative study is carried out syntactically through the enumeration of rules for transitions, and semantically in terms of bisimulation equivalence. A certain form of transitions is studied, and a 'logical' approach to the notion of a bisimulation is taken that are somewhat non-standard (but, it is hoped, illuminating). Sequential composition, non-deterministic choice, iteration, and interleaving are analyzed alongside a notion of data. Atomization and synchronization are also considered." |
| Physical Description: | 21 S. |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV009008747 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 940206s1992 |||| 00||| eng d | ||
| 035 | |a (OCoLC)27670691 | ||
| 035 | |a (DE-599)BVBBV009008747 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-29T | ||
| 100 | 1 | |a Fernando, R. T. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Comparative transition system semantics |c R. T. P. Fernando |
| 264 | 1 | |a Amsterdam |c 1992 | |
| 300 | |a 21 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS |v 92,22 | |
| 520 | 3 | |a Abstract: "The notion of a transition system is employed to relate programs, conceived as binary (transition) relations on states, to processes, viewed as dynamic states. The comparative study is carried out syntactically through the enumeration of rules for transitions, and semantically in terms of bisimulation equivalence. A certain form of transitions is studied, and a 'logical' approach to the notion of a bisimulation is taken that are somewhat non-standard (but, it is hoped, illuminating). Sequential composition, non-deterministic choice, iteration, and interleaving are analyzed alongside a notion of data. Atomization and synchronization are also considered." | |
| 650 | 4 | |a Computer programming | |
| 650 | 4 | |a Semantics | |
| 810 | 2 | |a Department of Computer Science: Report CS |t Centrum voor Wiskunde en Informatica <Amsterdam> |v 92,22 |w (DE-604)BV008928356 |9 92,22 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-005955234 | ||
Record in the Search Index
| _version_ | 1804123355875377152 |
|---|---|
| any_adam_object | |
| author | Fernando, R. T. |
| author_facet | Fernando, R. T. |
| author_role | aut |
| author_sort | Fernando, R. T. |
| author_variant | r t f rt rtf |
| building | Verbundindex |
| bvnumber | BV009008747 |
| ctrlnum | (OCoLC)27670691 (DE-599)BVBBV009008747 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01647nam a2200301 cb4500</leader><controlfield tag="001">BV009008747</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">940206s1992 |||| 00||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)27670691</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV009008747</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-29T</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Fernando, R. T.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Comparative transition system semantics</subfield><subfield code="c">R. T. P. Fernando</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam</subfield><subfield code="c">1992</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">21 S.</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="490" ind1="1" ind2=" "><subfield code="a">Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS</subfield><subfield code="v">92,22</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "The notion of a transition system is employed to relate programs, conceived as binary (transition) relations on states, to processes, viewed as dynamic states. The comparative study is carried out syntactically through the enumeration of rules for transitions, and semantically in terms of bisimulation equivalence. A certain form of transitions is studied, and a 'logical' approach to the notion of a bisimulation is taken that are somewhat non-standard (but, it is hoped, illuminating). Sequential composition, non-deterministic choice, iteration, and interleaving are analyzed alongside a notion of data. Atomization and synchronization are also considered."</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer programming</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Semantics</subfield></datafield><datafield tag="810" ind1="2" ind2=" "><subfield code="a">Department of Computer Science: Report CS</subfield><subfield code="t">Centrum voor Wiskunde en Informatica <Amsterdam></subfield><subfield code="v">92,22</subfield><subfield code="w">(DE-604)BV008928356</subfield><subfield code="9">92,22</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-005955234</subfield></datafield></record></collection> |
| id | DE-604.BV009008747 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T17:28:28Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-005955234 |
| oclc_num | 27670691 |
| open_access_boolean | |
| owner | DE-29T |
| owner_facet | DE-29T |
| physical | 21 S. |
| publishDate | 1992 |
| publishDateSearch | 1992 |
| publishDateSort | 1992 |
| record_format | marc |
| series2 | Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS |
| spelling | Fernando, R. T. Verfasser aut Comparative transition system semantics R. T. P. Fernando Amsterdam 1992 21 S. txt rdacontent n rdamedia nc rdacarrier Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS 92,22 Abstract: "The notion of a transition system is employed to relate programs, conceived as binary (transition) relations on states, to processes, viewed as dynamic states. The comparative study is carried out syntactically through the enumeration of rules for transitions, and semantically in terms of bisimulation equivalence. A certain form of transitions is studied, and a 'logical' approach to the notion of a bisimulation is taken that are somewhat non-standard (but, it is hoped, illuminating). Sequential composition, non-deterministic choice, iteration, and interleaving are analyzed alongside a notion of data. Atomization and synchronization are also considered." Computer programming Semantics Department of Computer Science: Report CS Centrum voor Wiskunde en Informatica <Amsterdam> 92,22 (DE-604)BV008928356 92,22 |
| spellingShingle | Fernando, R. T. Comparative transition system semantics Computer programming Semantics |
| title | Comparative transition system semantics |
| title_auth | Comparative transition system semantics |
| title_exact_search | Comparative transition system semantics |
| title_full | Comparative transition system semantics R. T. P. Fernando |
| title_fullStr | Comparative transition system semantics R. T. P. Fernando |
| title_full_unstemmed | Comparative transition system semantics R. T. P. Fernando |
| title_short | Comparative transition system semantics |
| title_sort | comparative transition system semantics |
| topic | Computer programming Semantics |
| topic_facet | Computer programming Semantics |
| volume_link | (DE-604)BV008928356 |
| work_keys_str_mv | AT fernandort comparativetransitionsystemsemantics |