@incollection{Villano-b.06,
	Abstract = {In a Transputer environment, where the data exchange
		 and the synchronizations between any two processes are
		 carried out by means of I/O operations, the monitoring
		 of the channels used for implementing the message
		 exchange is of particular interest. In this paper a
		 method is illustrated for monitoring the internal
		 channels of an Occam program. This method introduces
		 little CPU overhead, no additional communication cost,
		 and preserves the synchronization behaviour of the two
		 communicating processes. Its characteristics have been
		 attained by means of a particular monitoring mechanism,
		 based upon a rather unusual use of some Transputer
		 machine language instructions, canonically used to
		 implement guarded communications within the Occam ALT
		 construct.},
	Author = {Antonio {d'Acierno} and Giuseppe {De Pietro} and Umberto Villano},
	Booktitle = {{OUG}-12: {T}ools and {T}echniques for {T}ransputer {A}pplications},
	Date-Modified = {2011-05-29 21:59:44 +0200},
	Editor = {Stephen J. Turner},
	Isbn = {90 5199 029 4},
	Month = mar,
	Pages = {190--197},
	Publisher = {IOS Press},
	Title = {{A} method for monitoring occam internal channels},
	Year = {1990}}

{"_id":"AEgtb84ZPeiWBu7xp","bibbaseid":"dacierno-depietro-villano-amethodformonitoringoccaminternalchannels-1990","author_short":["d'Acierno , A.","De Pietro, G.","Villano, U."],"bibdata":{"bibtype":"incollection","type":"incollection","abstract":"In a Transputer environment, where the data exchange and the synchronizations between any two processes are carried out by means of I/O operations, the monitoring of the channels used for implementing the message exchange is of particular interest. In this paper a method is illustrated for monitoring the internal channels of an Occam program. This method introduces little CPU overhead, no additional communication cost, and preserves the synchronization behaviour of the two communicating processes. Its characteristics have been attained by means of a particular monitoring mechanism, based upon a rather unusual use of some Transputer machine language instructions, canonically used to implement guarded communications within the Occam ALT construct.","author":[{"firstnames":["Antonio"],"propositions":["d'Acierno"],"lastnames":[],"suffixes":[]},{"firstnames":["Giuseppe"],"propositions":[],"lastnames":["De Pietro"],"suffixes":[]},{"firstnames":["Umberto"],"propositions":[],"lastnames":["Villano"],"suffixes":[]}],"booktitle":"OUG-12: Tools and Techniques for Transputer Applications","date-modified":"2011-05-29 21:59:44 +0200","editor":[{"firstnames":["Stephen","J."],"propositions":[],"lastnames":["Turner"],"suffixes":[]}],"isbn":"90 5199 029 4","month":"March","pages":"190–197","publisher":"IOS Press","title":"A method for monitoring occam internal channels","year":"1990","bibtex":"@incollection{Villano-b.06,\n\tAbstract = {In a Transputer environment, where the data exchange\n\t\t and the synchronizations between any two processes are\n\t\t carried out by means of I/O operations, the monitoring\n\t\t of the channels used for implementing the message\n\t\t exchange is of particular interest. In this paper a\n\t\t method is illustrated for monitoring the internal\n\t\t channels of an Occam program. This method introduces\n\t\t little CPU overhead, no additional communication cost,\n\t\t and preserves the synchronization behaviour of the two\n\t\t communicating processes. Its characteristics have been\n\t\t attained by means of a particular monitoring mechanism,\n\t\t based upon a rather unusual use of some Transputer\n\t\t machine language instructions, canonically used to\n\t\t implement guarded communications within the Occam ALT\n\t\t construct.},\n\tAuthor = {Antonio {d'Acierno} and Giuseppe {De Pietro} and Umberto Villano},\n\tBooktitle = {{OUG}-12: {T}ools and {T}echniques for {T}ransputer {A}pplications},\n\tDate-Modified = {2011-05-29 21:59:44 +0200},\n\tEditor = {Stephen J. Turner},\n\tIsbn = {90 5199 029 4},\n\tMonth = mar,\n\tPages = {190--197},\n\tPublisher = {IOS Press},\n\tTitle = {{A} method for monitoring occam internal channels},\n\tYear = {1990}}\n\n","author_short":["d'Acierno , A.","De Pietro, G.","Villano, U."],"editor_short":["Turner, S. J."],"key":"Villano-b.06","id":"Villano-b.06","bibbaseid":"dacierno-depietro-villano-amethodformonitoringoccaminternalchannels-1990","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"incollection","biburl":"https://bibbase.org/f/sNFCo2xvBNJcAwYat/villano.bib","dataSources":["B7EFrk8Jo2pAuojW8","pjicPgbj2HvPJoycH","QgCvRcgxopcPS5hGD"],"keywords":[],"search_terms":["method","monitoring","occam","internal","channels","d'acierno ","de pietro","villano"],"title":"A method for monitoring occam internal channels","year":1990}