?url_ver=Z39.88-2004&rft_id=10.1016%2F0169-7552(93)90047-8&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.aufirst=Rocco&rft.aulast=De+Nicola&rft.au=De+Nicola%2C+Rocco&rft.volume=25&rft.issue=7&rft.pages=761-778&rft.atitle=An+Action-Based+Framework+for+Verifying+Logical+and+Behavioural+Properties+of+Concurrent+Systems&rft.title=Computer+Networks+and+ISDN+Systems&rft.date=1993&rft.issn=0169-7552&rft.genre=article