Verification of Erlang Processes by Dependency Pairs

Authors:

Publisher website

1 June 2001

journal article
Published by Springer Nature in Applicable Algebra in Engineering, Communication and Computing

Vol. 12 (1-2) , 39-72
DOI:10.1007/s002000100063

Abstract

No abstract available

Keywords

Cited by 33 articles