MODULAR COMPOSITION AND VERIFICATION OF TRANSACTION PROCESSING PROTOCOLS USING CATEGORY THEORYPOMPES PAR TRANSITIONS MULTIPLES

منو

" MODULAR COMPOSITION AND VERIFICATION OF TRANSACTION PROCESSING PROTOCOLS USING CATEGORY THEORYPOMPES PAR TRANSITIONS MULTIPLES "

Document Type	:	Latin Dissertation
Language of Document	:	English
Record Number	:	153162
Doc. No	:	ET24954
Main Entry	:	Ckudevan Janarthanan
Title Proper	:	MODULAR COMPOSITION AND VERIFICATION OF TRANSACTION PROCESSING PROTOCOLS USING CATEGORY THEORYPOMPES PAR TRANSITIONS MULTIPLES
Note	:	This document is digital این مدرک بصورت الکترونیکی می باشد
Abstract	:	Establishing the correctness of reliable distributed protocols supporting de-pendable applications necessitates modular/compositional approaches to tackle theinherent complexity of these protocols. Efforts involved in the specification and ver-.
Subject	:	Electericl tess
	:	برق
electronic file name	:	TL49167.pdf
Title and statement of responsibility and	:	MODULAR COMPOSITION AND VERIFICATION OF TRANSACTION PROCESSING PROTOCOLS USING CATEGORY THEORYPOMPES PAR TRANSITIONS MULTIPLES [Thesis]