Crossref Citations
This Book has been
cited by the following publications. This list is generated based on data provided by Crossref.
Coelho, C.N.
1984.
Dynamic Scheduling And Synchronization Synthesis Of Concurrent Digital Systems Under System-level Constraints.
p.
175.
Ponse, Alban
1991.
Process expressions and Hoare's logic: Showing an irreconcilability of context-free recursion with Scott's induction rule.
Information and Computation,
Vol. 95,
Issue. 2,
p.
192.
Klusener, A. S.
1991.
CONCUR '91.
Vol. 527,
Issue. ,
p.
376.
Jeffrey, Alan
1991.
CONCUR '91.
Vol. 527,
Issue. ,
p.
332.
Cleaveland, R.
and
Zwarico, A.E.
1991.
A theory of testing for real-time.
p.
110.
van Delft, André
1991.
Parle ’91 Parallel Architectures and Languages Europe.
Vol. 505,
Issue. ,
p.
642.
Groote, Jan Friso
and
Ponse, Alban
1991.
CONCUR '91.
Vol. 527,
Issue. ,
p.
235.
Vaandrager, F.W.
1991.
On the relationship between process algebra and input/output automata.
p.
387.
Jeffrey, Alan
1991.
Computer Aided Verification.
Vol. 575,
Issue. ,
p.
432.
Wieringa, R. J.
1991.
Deductive and Object-Oriented Databases.
Vol. 566,
Issue. ,
p.
431.
Milner, Robin
1991.
VDM'91 Formal Software Development Methods.
Vol. 551,
Issue. ,
p.
9.
Spruit, Paul
and
Wieringa, Roel
1991.
CONCUR '91.
Vol. 527,
Issue. ,
p.
495.
Best, E.
1991.
Overview of the results of the Esprit basic research action DEMON-design methods based on nets.
p.
224.
Drost, N. J.
1991.
CONCUR '91.
Vol. 527,
Issue. ,
p.
157.
Baeten, J. C. M.
and
Bergstra, J. A.
1991.
CONCUR '91.
Vol. 527,
Issue. ,
p.
96.
Klusener, A. S.
1992.
CONCUR '92.
Vol. 630,
Issue. ,
p.
421.
Baeten, J. C. M.
and
Bergstra, J. A.
1992.
Real-Time: Theory in Practice.
Vol. 600,
Issue. ,
p.
107.
Baeten, J. C. M.
and
Bergstra, J. A.
1992.
CONCUR '92.
Vol. 630,
Issue. ,
p.
401.
Vaandrager, Frits
and
Lynch, Nancy
1992.
CONCUR '92.
Vol. 630,
Issue. ,
p.
436.
Baeten, J. C. M.
and
Bergstra, J. A.
1992.
Programming and Mathematical Method.
p.
273.