Fully abstract models for a process language with refinement

Mogens Nielsen; Uffe Henrik Engberg; Kim Skak Larsen

doi:10.1007/BFb0013034

Fully abstract models for a process language with refinement

Mogens Nielsen, Uffe Henrik Engberg, Kim Skak Larsen

Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

39 Citationer (Scopus)

Originalsprog	Engelsk
Titel	REX Workshop : Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop
Redaktører	J. W. de Bakker, Willem P. de Roever, Grzegorz Rozenberg
Forlag	Springer
Publikationsdato	1988
Sider	523-548
ISBN (Trykt)	3-540-51080-X
DOI	https://doi.org/10.1007/BFb0013034
Status	Udgivet - 1988
Begivenhed	Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop - Noordwijkerhout, Holland Varighed: 30 maj 1988 → 3 jun. 1988

Konference

Konference	Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop
Land/Område	Holland
By	Noordwijkerhout
Periode	30/05/1988 → 03/06/1988

Navn	Lecture Notes in Computer Science
Vol/bind	354

Adgang til dokumentet

10.1007/BFb0013034

Biblioteksadgang?

Tjek tilgængelighed hos det Kgl. Bibliotek

Citationsformater

Nielsen, Mogens ; Engberg, Uffe Henrik ; Larsen, Kim Skak. / Fully abstract models for a process language with refinement. REX Workshop: Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop. red. / J. W. de Bakker ; Willem P. de Roever ; Grzegorz Rozenberg. Springer, 1988. s. 523-548 (Lecture Notes in Computer Science, Bind 354).

@inproceedings{a1f8fbd0957e11dd868b000ea68e967b,

title = "Fully abstract models for a process language with refinement",

author = "Mogens Nielsen and Engberg, {Uffe Henrik} and Larsen, {Kim Skak}",

year = "1988",

doi = "10.1007/BFb0013034",

language = "English",

isbn = "3-540-51080-X",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "523--548",

editor = "{de Bakker}, {J. W.} and {de Roever}, {Willem P.} and Grzegorz Rozenberg",

booktitle = "REX Workshop",

address = "Netherlands",

note = "Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop ; Conference date: 30-05-1988 Through 03-06-1988",

}

Nielsen, M , Engberg, UH & Larsen, KS 1988, Fully abstract models for a process language with refinement. i JW de Bakker, WP de Roever & G Rozenberg (red), REX Workshop: Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop. Springer, Lecture Notes in Computer Science, bind 354, s. 523-548, Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop, Noordwijkerhout, Holland, 30/05/1988. https://doi.org/10.1007/BFb0013034

Fully abstract models for a process language with refinement. / Nielsen, Mogens ; Engberg, Uffe Henrik; Larsen, Kim Skak.
REX Workshop: Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop. red. / J. W. de Bakker; Willem P. de Roever; Grzegorz Rozenberg. Springer, 1988. s. 523-548 (Lecture Notes in Computer Science, Bind 354).

Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

TY - GEN

T1 - Fully abstract models for a process language with refinement

AU - Nielsen, Mogens

AU - Engberg, Uffe Henrik

AU - Larsen, Kim Skak

PY - 1988

Y1 - 1988

U2 - 10.1007/BFb0013034

DO - 10.1007/BFb0013034

M3 - Article in proceedings

SN - 3-540-51080-X

T3 - Lecture Notes in Computer Science

SP - 523

EP - 548

BT - REX Workshop

A2 - de Bakker, J. W.

A2 - de Roever, Willem P.

A2 - Rozenberg, Grzegorz

PB - Springer

T2 - Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop

Y2 - 30 May 1988 through 3 June 1988

ER -