|
Showing 1 - 2 of
2 matches in All Departments
This volume constitutes the refereed proceedings of the Fourth
International Symposium on Formal Techniques in Real-Time and
Fault-Tolerant Systems, FTRTFTS '96, held in Uppsala, Sweden, in
September 1996.
The 22 revised full papers presented were selected from a total of
61 submissions; also included are three invited contributions and
five tools demonstrations. The papers are organized in sections on
state charts, timed automata, duration calculus, case studies,
scheduling, fault tolerance, specification, and verification.
This volume constitutes the proceedings of the Fifth International
Conference on Concurrency Theory, CONCUR '94, held at Uppsala,
Sweden in August 1994.
In total, 29 refereed research papers selected from 108 submissions
for the conference are presented together with full papers or
abstracts of the 5 invited talks by prominent speakers. The book
contains recent results on all relevant aspects of concurrency
research and thus competently documents the progress of the field
since the predecessor conference CONCUR '93, the proceedings of
which are published as LNCS 715.
|
You may like...
No. 1s
Various Artists
CD
R59
Discovery Miles 590
Barbie
Margot Robbie, Ryan Gosling
Blu-ray disc
R266
Discovery Miles 2 660
|