المؤلفون: Banach, R., Arbab, F., Papadopoulos, G. A., Glauert, J. R W

المصدر: Banach , R , Arbab , F , Papadopoulos , G A & Glauert , J R W 2003 , ' A multiply hierarchical automaton semantics for the IWIM coordination model ' , Journal of Universal Computer Science , vol. 9 , no. 1 , pp. 2-33 . < http://www.jucs.org/jucs_9_1/a_multiply_hierarchical_automaton/paper.pdfTest >

مصطلحات موضوعية: Automata, Coordination, Fibration, IWIM

الإتاحة: https://research.manchester.ac.uk/en/publications/07c2c20a-9d72-4fc6-934e-7ff955cbbbc6Test
http://www.jucs.org/jucs_9_1/a_multiply_hierarchical_automaton/paper.pdfTest
http://dblp.uni-trier.de/db/journals/jucs/jucs9.html#BanachAPG03Test
http://dblp.uni-trier.de/rec/bibtex/journals/jucs/BanachAPG03.xmlTest
http://dblp.uni-trier.de/rec/bibtex/journals/jucs/BanachAPG03Test

المؤلفون: Banach, Richard, Arbab, Farhad, Papadopoulos, George Angelos, Glauert, J. R. W.

المساهمون: Papadopoulos, George Angelos 0000-0001-9250-4916

المصدر: Journal of Universal Computer Science ; https://www.scopus.com/inward/record.uri?eid=2-s2.0-23844500636&partnerID=40&md5=b30a816c6197dcd13412f82d87b635ebTest ; J.Univers.Comput.Sci.

مصطلحات موضوعية: Coordination, Automata, Fibration, IWIM

العلاقة: http://gnosis.library.ucy.ac.cy/handle/7/53601Test

الإتاحة: http://gnosis.library.ucy.ac.cy/handle/7/53601Test

المؤلفون: Banach, Richard, Arbab, Farhad, Papadopoulos, George Angelos, Glauert, J. R. W.

المساهمون: Brogi, A., Pimentel E., Papadopoulos, George Angelos [0000-0001-9250-4916]

المصدر: Formal Methods and Component Interaction (ICALP 2002 Satllite Workshop)
Electron.Notes Theor.Comput.Sci.

مصطلحات موضوعية: Source codes, Mathematical models, Theoretical computer science, General Computer Science, Semantics (computer science), business.industry, Computer science, Fibration, Coordination programming, Synchronization, Formal logic, Manager state, Theoretical Computer Science, Automaton, Semantics, Development (topology), Software, Message passing, Network protocols, State (computer science), Computer software, Client server computer systems, business

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c8f283c10d4baf1733fa5868801b225fTest
http://gnosis.library.ucy.ac.cy/handle/7/53602Test

المؤلفون: Banach, R., Arbab, F., George Papadopoulos, Glauert, J. R. W.

المساهمون: Computer Security

المصدر: Scopus-Elsevier
Journal of Universal Computer Science, 9(1), 2-33
JUCS-Journal of Universal Computer Science 9(1): 2-33

مصطلحات موضوعية: coordination, fibration, automata, IWIM

وصف الملف: text/html

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1b241ce1ee27ea9fcfb016c61ca797edTest
http://www.scopus.com/inward/record.url?eid=2-s2.0-23844500636&partnerID=MN8TOARSTest