Salvatore LA TORRE | Publications

21502Verification of Scope-dependent Hierarchical State Machines

	2008
	Articolo in rivista
	Verification of Scope-dependent Hierarchical State Machines INFORMATION AND COMPUTATION. Vol. 206. Pag.1161-1177 ISSN:0890-5401.
	LA TORRE, Salvatore; Napoli, Margherita; Parente, Domenico; Parlato, Gennaro
	Digital Object Identifier (DOI): 10.1016/j.ic.2008.03.017 Codice identificativo ISI: WOS:000259251400015 Codice identificativo SCOPUS: 2-s2.0-50149099553
	Show it in Product Database (IRIS)

22273Verification of well-formed Communicating Recursive State Machines

	2008
	Articolo in rivista
	Verification of well-formed Communicating Recursive State Machines THEORETICAL COMPUTER SCIENCE. Vol. 403 (2-3). Pag.382-405 ISSN:0304-3975.
	LA TORRE, Salvatore; L., Bozzelli; A., Peron
	Codice identificativo ISI: WOS:000259044800014 Codice identificativo SCOPUS: 2-s2.0-48449099517
	Show it in Product Database (IRIS)

22275An Infinite Automaton Characterization of Double Exponential Time

	2008
	Contributo in Atti di convegno
	An Infinite Automaton Characterization of Double Exponential Time. In: Proc. of the 17th EACSL Annual Conference onComputer Science Logic (CSL'08) BERLIN Springer Vol.5213, Pag.33-48 ISBN:3540875301
	Computer Science Logic, 22nd International Workshop, {CSL} 2008, 17th Annual Conference of the EACSL Bertinoro (Italy) September 15-20, 2008.
	LA TORRE, Salvatore; P., Madhusudan; G., Parlato
	Codice identificativo ISI: WOS:000261091200004 Codice identificativo SCOPUS: 2-s2.0-57849104025
	Show it in Product Database (IRIS)

22274Context-Bounded Analysis of Concurrent Queue Systems

	2008
	Contributo in Atti di convegno
	Context-Bounded Analysis of Concurrent Queue Systems. In: Proc. of the 14th International Conference onTools and Algorithms for the Construction and theAnalysis of Systems (TACAS'08) (a member conference of ETAPS'08). Lecture Notes in Computer Science BERLIN Springer Vol.4963, Pag.299-314 ISBN:9783540787990
	Tools and Algorithms for the Construction and Analysis of Systems, 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008 Budapest (Hungary) March 29 - April 6, 2008
	LA TORRE, Salvatore; Madhusudan, P; Parlato, Gennaro
	Codice identificativo ISI: WOS:000254735100021 Codice identificativo SCOPUS: 2-s2.0-47249155301
	Show it in Product Database (IRIS)