HOME > Detail View

Detail View

Action refinement in process algebras

Action refinement in process algebras

Material type
학위논문
Personal Author
Aceto, Luca.
Title Statement
Action refinement in process algebras / Luca Aceto.
Publication, Distribution, etc
Cambridge ;   New York, NY, USA :   Cambridge University Press ,   1992.  
Physical Medium
viii, 273 p. : ill. ; 26 cm.
Series Statement
Distinguished dissertations in computer science
ISBN
0521431115 9780521431118
학위논문주기
Thesis (Ph. D.)--University of Sussex, 1990.
Bibliography, Etc. Note
Includes bibliographical references (p. 265-271) and index.
Subject Added Entry-Topical Term
Parallel processing (Electronic computers) Programming languages (Electronic computers) -- Semantics.
000 01035camuu2200289 a 4500
001 000045355615
005 20070521164103
008 921216s1992 enka b 001 0 eng
010 ▼a 92249890
020 ▼a 0521431115
020 ▼a 9780521431118
035 ▼a (KERIS)REF000006693428
040 ▼a DLC ▼c DLC ▼d DLC ▼d 211009
050 0 0 ▼a QA76.58 ▼b .A23 1992
082 0 0 ▼a 005.2 ▼2 22
090 ▼a 005.2 ▼b A174a
100 1 ▼a Aceto, Luca.
245 1 0 ▼a Action refinement in process algebras / ▼c Luca Aceto.
260 ▼a Cambridge ; ▼a New York, NY, USA : ▼b Cambridge University Press , ▼c 1992.
300 ▼a viii, 273 p. : ▼b ill. ; ▼c 26 cm.
440 0 ▼a Distinguished dissertations in computer science
502 ▼a Thesis (Ph. D.)--University of Sussex, 1990.
504 ▼a Includes bibliographical references (p. 265-271) and index.
650 0 ▼a Parallel processing (Electronic computers)
650 0 ▼a Programming languages (Electronic computers) ▼x Semantics.
945 ▼a KINS

Holdings Information

No. Location Call Number Accession No. Availability Due Date Make a Reservation Service
No. 1 Location Science & Engineering Library/Sci-Info(Stacks2)/ Call Number 005.2 A174a Accession No. 121146946 Availability Available Due Date Make a Reservation Service B M

New Arrivals Books in Related Fields

한국정보기술연구원 (2022)
한국정보기술연구원 (2021)
Lerner, Reuven (2021)
천인국 (2022)