["Toward Comprehensive SpeCifiCation of Distributed Systems", G. Roman et al, ProC 7th Intl Conf on Distrib Comp Sys, IEEE 1987, pp. 282-289].

In addition suitable Contents:
[ 2 ] [ al ] [ an ] [ ar ] [ at ] [ b ] [ C ] [ Ca ] [ Cat ] [ Ci ] [ D ] [ E ] [ eC ] [ ed ] [ eh ] [ et ] [ fi ] [ G ] [ h ] [ IE ] [ IEEE ] [ io ] [ is ] [ ma ] [ man ] [ mp ] [ ms ] [ nf ] [ ns ] [ om ] [ pe ] [ pr ] [ re ] [ ro ] [ S ] [ si ] [ SpeC ] [ st ] [ T ] [ th ] [ tr ] [ ve ]