BRICS BRICS
RS-94-24
S.
Riis:
move是什么意思
A
Fractal
which
violates
the
Axiom
matey什么意思of Determinacy
pcti
ISSN0909-0878August1994
Copyright c1994,BRICS,Department of Computer Science
rver connection failedUniversity of Aarhus.All rights rerved.
Reproduction of all or part of this work
is permitted for educational or rearch u
情人节英语怎么说on condition that this copyright notice is
included in any copy.
See back inner page for a list of recent publications in the BRICS Report Series.Copies may be obtained by contacting:lico
BRICS
Department of Computer Science
University of Aarhus
Ny Munkegade,building540
DK-8000Aarhus C
Denmark
cpo
Telephone:+4589423360树冠的读音
Telefax:+4589423255
Internet:BRICS@daimi.aau.dk
Recent Publications in the BRICS Report Series
RS-94-24Søren Riis.A Fractal which violates the Axiom of Deter-minacy.August1994,3pp.
RS-94-23Søren Riis.Finitisation in Bounded Arithmetic.August 1994,31pp.
RS-94-22Torben Bra¨uner.A General Adequacy Result for a Linear Functional Language.August1994,39pp.Prented at
MFPS’94.
RS-94-21Søren Riis.Count()does not imply Count().July1994, 55pp.
单程票英语RS-94-20Peter D.Moss and Mart´ın Musicante.An Action Se-mantics for ML Concurrency Primitives.July1994,21pp.
To appear in Proc.FME’94(Formal Methods Europe,
Symposium on Industrial Benefit of Formal Methods),bend
LNCS,1994.
RS-94-19Jens Chr.Godsken,Kim G.Larn,and Arne Skou.
Automatic Verification of Real–Timed Systems Using
.June1994,8pp.Appears in:Protocols,Specifi-cation,Testing and Verification PSTV’94.
RS-94-18Sten Agerholm.LCF Examples in HOL.June1994,16 pp.To appear in:Proceedings of the7th International
Workshop on Higher Order Logic Theorem Proving and
its Applications,LNCS,1994.
RS-94-17Allan Cheng.Local Model Checking and Traces.June 1994,30pp.
RS-94-16Lars Arge.External-Storage Data Structures for Plane-Sweep Algorithms.June1994,37pp.
RS-94-15Mogens Nieln and Glynn Winskel.Petri Nets and Bisim-ulations.May1994,36pp.
RS-94-14Nils Klarlund.The Limit View of Infinite Computations.
May1994,16pp.To appear in the LNCS proceedings of
Concur’94,LNCS,1994.
