Skip to main content
Log in
Menu
Find a journal
Publish with us
Track your research
Search
Cart
Home
Formal Aspects of Computing
Volumes and issues
Volume 5, Issue 6
Formal Aspects of Computing
Applicable Formal Methods
Publishing model
:
Hybrid
Formal Aspects of Computing
is now archived and no longer receiving submissions with this publisher. All articles published in the journal during its time with Springer will remain fully searchable through our websites.
Search all Formal Aspects of Computing articles
Volume 5, Issue 6
November 1993
5 articles in this issue
Real space process algebra
J. C. M. Baeten
J. A. Bergstra
OriginalPaper
Pages: 481 - 529
Recursion induction for real-time processes
Jim Davies
Steve Schneider
OriginalPaper
Pages: 530 - 553
Proof rules for recursive procedures
Wim H. Hesselink
OriginalPaper
Pages: 554 - 570
Book review
Rafael D. Lins
BookReview
Pages: 571 - 572
Forthcoming events
Events
Pages: 573 - 573
Search
Search by keyword or author
Search
Navigation
Find a journal
Publish with us
Track your research