Formal specification of concurrent systems: a structured approach (bibtex)

by Mazzeo, Antonino, Mazzocca, Nicola, Russo, Stefano, Savy, Carlo and Vittorini, Valeria

Reference:

Formal specification of concurrent systems: a structured approach (Mazzeo, Antonino, Mazzocca, Nicola, Russo, Stefano, Savy, Carlo and Vittorini, Valeria), In The Computer Journal, Br Computer Soc, volume 41, 1998.

Bibtex Entry:

@article{mazzeo1998formal,
	author = {Mazzeo, Antonino and Mazzocca, Nicola and Russo, Stefano
		  and Savy, Carlo and Vittorini, Valeria},
	journal = {The Computer Journal},
	number = {3},
	pages = {145--162},
	publisher = {Br Computer Soc},
	title = {Formal specification of concurrent systems: a structured
		  approach},
	volume = {41},
	year = {1998},
	doi = {10.1093/comjnl/41.3.145}
}