On Communicating Finite-State Machines

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

On Communicating Finite-State Machines

Full text

Pdf (1.09 MB)

Source

Journal of the ACM (JACM) archive
Volume 30 , Issue 2 (April 1983) table of contents

Pages: 323 - 342

Year of Publication: 1983

ISSN:0004-5411

Authors

Daniel Brand	IBM Thomas J. Watson Research Center, P.O. Box 218, Yorktown Heights, NY and IBM Zurich Research Laboratory, Ruschlikon, Switzerland
Pitro Zafiropulo	IBM Zurich Research Laboratory, 8803 Ruschlikon, Switzerland

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 35, Downloads (12 Months): 286, Citation Count: 97

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/322374.322380 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	K. A. Bartlett , R. A. Scantlebury , P. T. Wilkinson, A note on reliable full-duplex transmission over half-duplex links, Communications of the ACM, v.12 n.5, p.260-261, May 1969 [doi>10.1145/362946.362970]
	2	Gregor V. Bochmann, Communication protocols and error recovery procedures, ACM SIGOPS Operating Systems Review, v.9 n.3, p.45-50, July 1975
	3	BOCHMANN G V Flmte state description of communicattons protocols. Proc. Computer Network Protocols Symp., L~ege, Belgium, Feb. 1978, pp F3-I-F3-11
	4	BOCHMANN, G,V, ANO GESCEI, J. A unified method for specificatton and vertlication of protocols. Proc IFIP 77, AFIPS Press, Arlington, Va, 1977, pp 229-234
	5	BOCHMANN, G.V, AND MERLIN, P,On the construction of communication protocols. Pro~. Int. Conf on Computer Commumcat~ons, Oct 1980, pp 371-378
	6	BOCHMANN, G.V., AND SUNSHINE, C. Use of formal methods in communication protocol design. IEEE Trans. Commun COM-28, 4 (Apr. 1980), 624-631
	7	BRAND, D., AND JOYNER, W.H, JR. Verification of protocols using symbolic execution. Comput. Networks 2, 4/5 (Sept./Oct. 1978), 351-360.
	8	BRAND, D., AND ZAFIROPULO, P.Synthesis of protocols for an unlimited number of processes. In Proc. of Trends and Applicanons 1980: Computer Network Protocols, National Bureau of Standards, Gaithersburg, Md., May 1980, pp. 29--40.
	9	BRAND, D., AND ZAFIROPULO, P.On communicating fimte-state machines. Tech Pep. RZ 1053, IBM Zurich Research Lab., Rfischlikon, Switzerland, Jan. 1981.
	10	CCITT.Recommendauon X 21 (revised), AP VI, No. 55-E, Geneve, Switzerland, 1976.
	11	DANTHINE, A, ED Proc Computer Network Protocols Symp, Liege, Belgium, 1978; see also specaal lSSile off computer network protocols, Comput Networks 2, 4/5 (Sept/Oct. 1978)
	12	DEvY, M., AND DIAZ, M Multdevel speclficatmn and validation of the control in communication systems. Conf. on Distributed Comput. Syst, Oct 1979, pp. 43-50
	13	Mohamed G. Gouda , Eric G. Manning, On the modelling, analysis and design of protocols - a special class of software structures, Proceedings of the 2nd international conference on Software engineering, p.256-262, October 13-15, 1976, San Francisco, California, United States
	14	HAILPERN, B., AND OWICKI, S.Verifying network protocols using temporal logic. In Proc Trends and Applicaoons 198ff Computer Network Protocols, National Bureau of Standards, Gaithersburg, Md., May 1980, pp 18-28.
	15	HAJEK, J Automaucally verified data transfer protocols Proc Int Conf on Computer Commumcations, Kyoto, Japan, Sept 1978, pp. 749-756
	16	KARP, R M, Arid MILLER, R E Parallel program schemata: A mathemaucal model for parallel computaUon Conf Rec 8th Ann. IEEE S),mp on S~~,achtng and Automata Theory (Oct 1967), IEEE, New York, pp 55-61.
	17	MERLIN, P.M.A methodology for the design and Jmplementauon of commumcatmn protocols IEEE Trans Commun. COM.24, 6 (June 1976), 614--621.
	18	MERLIN, P.M.Specificatmn and vahdatton of protocols. IEEE Trans Commun. COM-27, 11 (Nov 1979), 1671-1680
	19	James L. Peterson, Petri Nets, ACM Computing Surveys (CSUR), v.9 n.3, p.223-252, Sept. 1977 [doi>10.1145/356698.356702]
	20	RUDIN, H, WEST, C H., AND ZAFIROPULO, P Automated protocol validauon. One cram of development Proc Computer Network Protocols Conf., Liege, Belgium, Feb 1978, pp F4-1-F4-6
	21	SCHULTZ, G D., RosE, D B., WEST, C H, AND GRAY, J.P. Executable descnpuon and validation of SNA. IEEE Trans. Commun COM-28, 4 (Apr. 1980), 661--667.
	22	STENNING,INING, N V.A data transfer protocol Comput Networks 1, 2 (Sept 1976), 99-110
	23	SUNSHINE, C.A Commumcaoon Protocol Modebng. Artech House, Dedham, Mass, 1981
	24	SYMONS, F I.W Representation, analys~s and verification of commumcatton protocols. Rep. No 7380, Telecom Australia Research Labs, November 1980,
	25	WEST, C H.General teclmtque for commumcations protocol vahdauon IBM J. Res. Devel. 22, 4 (July 1978), 393--404.
	26	WESt, C H, AND ZArmOI'ULO, P Automated vahdation of a communicauons protocol. The CCITT X21 recommendation IBM J Res Devel 22, 10an. 1978), 60-71
	27	YOELI, M., AND BARZILAI, Z.Behavioral descnptmn of commumcatmn switching systems using extended Petn nets. Dtgttal Processes 3 (1977), 307-320.
	28	ZAFIROPULO, P. Protocol vahdation by duologue-matrix analys~s IEEE Trans Commun COM-26, 8 (Aug 1978), 1187-1194
	29	ZAFIROPULO, P, WEST, C H, RUDIN, H, COWAN, D.D., AND BRAND, D.Towards analyzing and synthesizing protocols IEEE Trans Commun COM-28, 4 (Apr 1980), 651-661

CITED BY 97

	Jonathan E. Cook , Alexander L. Wolf, Discovering models of software processes from event-based data, ACM Transactions on Software Engineering and Methodology (TOSEM), v.7 n.3, p.215-249, July 1998
	Y. X. Zhang , K. Takahashi , N. Shiratori , S. Noguchi, An Interactive Protocol Synthesis Algorithm Using a Global State Transition Graph, IEEE Transactions on Software Engineering, v.14 n.3, p.394-404, March 1988
	Ph. Schnoebelen, Verifying lossy channel systems has nonprimitive recursive complexity, Information Processing Letters, v.83 n.5, p.251-261, 15 September 2002
	C. H. West, Protocol validation in complex systems, ACM SIGCOMM Computer Communication Review, v.19 n.4, p.303-312, Sep. 1989
	Paris C. Kanellakis , Scott A. Smolka, On the analysis of cooperation and antagonism in networks of communicating processes, Proceedings of the fourth annual ACM symposium on Principles of distributed computing, p.23-38, August 1985, Minaki, Ontario, Canada
	C. H. Chow , S. S. Lam, PROSPEC: An Interactive Programming Environment for Designing and Verifying Communication Protocols, IEEE Transactions on Software Engineering, v.14 n.3, p.327-338, March 1988
	Paolo A. G. Sivilotti , Charles P. Giles, The specification of distributed objects: liveness and locality, Proceedings of the 1999 conference of the Centre for Advanced Studies on Collaborative research, p.11, November 08-11, 1999, Mississauga, Ontario, Canada
	M. G. Gouda , C. K. Chang, A technique for proving liveness of communicating finite state machines with examples, Proceedings of the third annual ACM symposium on Principles of distributed computing, p.38-49, August 27-29, 1984, Vancouver, British Columbia, Canada
	H P Lin, Modeling a transport layer protocol using first-order logic, ACM SIGCOMM Computer Communication Review, v.16 n.3, p.92-100, Aug. 5, 1986
	Daniel M. Yellin , Robert E. Strom, Interfaces, protocols, and the semi-automatic construction of software adaptors, ACM SIGPLAN Notices, v.29 n.10, p.176-190, Oct. 1994
	David Lee , Mihalis Yannakakis, Closed Partition Lattice and Machine Decomposition, IEEE Transactions on Computers, v.51 n.2, p.216-228, February 2002
	E. Jane Cameron , Yow-Jian Lin, A real-time transition model for analyzing behavioral compatibility of telecommunications services, ACM SIGSOFT Software Engineering Notes, v.16 n.5, p.101-111, Dec. 1991
	Jonathan E. Cook , Alexander L. Wolf, Automating process discovery through event-data analysis, Proceedings of the 17th international conference on Software engineering, p.73-82, April 24-28, 1995, Seattle, Washington, United States
	Wuxu Peng , S. Puroshothaman, Data flow analysis of communicating finite state machines, ACM Transactions on Programming Languages and Systems (TOPLAS), v.13 n.3, p.399-442, July 1991
	C. H. Chow , M. G. Gouda , S. S. Lam, An exercise in constructing multi-phase communication protocols, ACM SIGCOMM Computer Communication Review, v.14 n.2, p.42-49, June 1984
	Tevfik Bultan , Xiang Fu , Richard Hull , Jianwen Su, Conversation specification: a new approach to design and analysis of e-service composition, Proceedings of the 12th international conference on World Wide Web, May 20-24, 2003, Budapest, Hungary
	Wuxu Peng, Deadlock detection in communicating finite state machines by even reachability analysis, Mobile Networks and Applications, v.2 n.3, p.251-257, Dec. 1997
	Mohamed G. Gouda , Khe-Sing The, Modeling physical layer protocols using communicating finite state machines, ACM SIGCOMM Computer Communication Review, v.15 n.4, p.54-62, Sept. 1985
	Ching-Hua Chow , Mohamed G. Gouda , Simon S. Lam, A discipline for constructing multiphase communication protocols, ACM Transactions on Computer Systems (TOCS), v.3 n.4, p.315-343, Nov. 1985
	P. E. Drenick , E. J. Smith, Stochastic query optimization in distributed databases, ACM Transactions on Database Systems (TODS), v.18 n.2, p.262-288, June 1993
	Richard Hull , Michael Benedikt , Vassilis Christophides , Jianwen Su, E-services: a look behind the curtain, Proceedings of the twenty-second ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, p.1-14, June 09-11, 2003, San Diego, California
	Mohammed G. Gouda , Chung-Kuo Chang, Proving liveness for networks of communicating finite state machines, ACM Transactions on Programming Languages and Systems (TOPLAS), v.8 n.1, p.154-180, Jan. 1986
	Stefan Edelkamp , Alberto Lluch Lafuente , Stefan Leue, Directed explicit model checking with HSF-SPIN, Proceedings of the 8th international SPIN workshop on Model checking of software, p.57-79, May 2001, Toronto, Ontario, Canada
	Z. Bavel , J. W. Gfrzymala-Busse , Y-T. Hsia, New communication protocols from old, ACM SIGCOMM Computer Communication Review, v.17 n.5, p.136-150, Oct./Nov. 1987
	Daniel M. Yellin , Robert E. Strom, Protocol specifications and component adaptors, ACM Transactions on Programming Languages and Systems (TOPLAS), v.19 n.2, p.292-333, March 1997
	Gérard Cécé , Alain Finkel, Verification of programs with half-duplex communication, Information and Computation, v.202 n.2, p.166-190, 1 November, 2005
	Oscar H. Ibarra , Zhe Dang , Pierluigi San Pietro, Verification in loosely synchronous queue-connected discrete timed automata, Theoretical Computer Science, v.290 n.3, p.1713-1735, 3 January 2003
	Mariano P. Consens , Masum Z. Hasan , Alberto O. Mendelzon, Using Hy⁺ for network management and distributed debugging, Proceedings of the 1993 conference of the Centre for Advanced Studies on Collaborative research: software engineering, October 24-28, 1993, Toronto, Ontario, Canada
	Markus Lohrey, Realizability of high-level message sequence charts: closing the gaps, Theoretical Computer Science, v.309 n.1, p.529-554, 2 December 2003
	M. G. Gouda , Y. T. Yu, Maximal progress state exploration, ACM SIGCOMM Computer Communication Review, v.13 n.2, April 1983
	Z Bavel , J Grzymala-Busse , Y Hsia , R Mancisidor-Landa, Tier automation representation of communication protocols, ACM SIGCOMM Computer Communication Review, v.16 n.3, p.138-147, Aug. 5, 1986
	H. Mountassir, To correct communicating finite state machines, Proceedings of the 17th conference on ACM Annual Computer Science Conference, p.327-334, February 21-23, 1989, Louisville, Kentucky
	Gérard Cécé , Alain Finkel , S. Purushothaman Iyer, Duplication, insertion and lossiness errors in unreliable communication channels, ACM SIGSOFT Software Engineering Notes, v.19 n.5, p.35-43, Dec. 1994
	W. Peng , S. Purushothaman, Towards dataflow analysis of communicating finite state machines, Proceedings of the eighth annual ACM Symposium on Principles of distributed computing, p.45-58, June 1989, Edmonton, Alberta, Canada
	F. J. Lin , P. M. Chu , M. T. Liu, Protocol verification using reachability analysis: the state space explosion problem and relief strategies, ACM SIGCOMM Computer Communication Review, v.17 n.5, p.126-135, Oct./Nov. 1987
	T. T. Lee , M. Y. Lai, A Relational Algebraic Approach to Protocol Verification, IEEE Transactions on Software Engineering, v.14 n.2, p.184-193, February 1988
	Alain Finkel , S. Purushothaman Iyer , Grégoire Sutre, Well-abstracted transition systems: application to FIFO automata, Information and Computation, v.181 n.1, p.1-31, 25 February 2003
	Fuchun Joseph Lin , Ming T. Liu, Protocol Validation for Large-Scale Applications, IEEE Software, v.9 n.1, p.23-26, January 1992
	Hong Liu , Raymond E. Miller, Generalized fair reachability analysis for cyclic protocols, IEEE/ACM Transactions on Networking (TON), v.4 n.2, p.192-204, April 1996
	Norio Shiratori , Yao-Xue Zhang , Kaoru Takahashi , Shoichi Noguchi, A User Friendly Software Environment for Protocol Synthesis, IEEE Transactions on Computers, v.40 n.4, p.477-486, April 1991
	Thomas L. Casavant , Jon G. Kuhl, A Communicating Finite Automata Approach to Modeling Distributed Computation and its Application to Distributed Decision-Making, IEEE Transactions on Computers, v.39 n.5, p.628-639, May 1990
	Gerald M. Karam , Raymond J. A. Buhr, Temporal Logic-Based Deadlock Analysis for Ada, IEEE Transactions on Software Engineering, v.17 n.10, p.1109-1125, October 1991
	Yoshiaki Kakuda , Yasushi Wakahara , Masamitsu Norigoe, An Acyclic Expansion Algorithm for Fast Protocol Validation, IEEE Transactions on Software Engineering, v.14 n.8, p.1059-1070, August 1988
	Sheng-Uei Guan , Sok-Seng Lim, Modeling adaptable multimedia and self-modifying protocol execution, Future Generation Computer Systems, v.20 n.1, p.123-143, January 2004
	H. Paul Lin , Harry E. Stovall, III, Self-Synchronizing Communication Protocols, IEEE Transactions on Computers, v.38 n.5, p.609-625, May 1989
	Dana Angluin , James Aspnes , Zoë Diamadi , Michael J. Fischer , René Peralta, Computation in networks of passively mobile finite-state sensors, Proceedings of the twenty-third annual ACM symposium on Principles of distributed computing, July 25-28, 2004, St. John's, Newfoundland, Canada
	Parosh Aziz Abdulla , Aurore Collomb-Annichini , Ahmed Bouajjani , Bengt Jonsson, Using Forward Reachability Analysis for Verification of Lossy Channel Systems, Formal Methods in System Design, v.25 n.1, p.39-65, July 2004
	G. M. Karam , R. J. A. Buhr, Starvation and Critical Race Analyzers for Ada, IEEE Transactions on Software Engineering, v.16 n.8, p.829-843, August 1990
	Parosh Abdulla , Christel Baier , S. Purushothaman Iyer , Bengt Jonsson, Simulating perfect channels with probabilistic lossy channels, Information and Computation, v.197 n.1/2, p.22-40, February 25, 2005/March 15, 2005
	Richard Hull , Jianwen Su, Tools for composite web services: a short overview, ACM SIGMOD Record, v.34 n.2, June 2005
	Alain Finkel, Decidability of the termination problem for completely specified protocols, Distributed Computing, v.7 n.3, p.129-135, March 1994
	Chris Barrett , Harry B. Hunt, III , Madhav V. Marathe , S. S. Ravi , Daniel J. Rosenkrantz , Richard E. Stearns, Reachability problems for sequential dynamical systems with threshold functions, Theoretical Computer Science, v.295 n.1-3, p.41-64, 24 February 2003
	Alma L. Juarez Dominguez , Nancy A. Day, Compositional reasoning for port-based distributed systems, Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering, November 07-11, 2005, Long Beach, CA, USA
	Xiang Fu , Tevfik Bultan , Jianwen Su, Conversation protocols: a formalism for specification and verification of reactive electronic services, Theoretical Computer Science, v.328 n.1-2, p.19-37, 29 November 2004
	P. A. Abdulla , N. Bertrand , A. Rabinovich , Ph. Schnoebelen, Verification of probabilistic systems with faulty communication, Information and Computation, v.202 n.2, p.141-165, 1 November, 2005
	Yoshiaki Kakuda , Hironori Saito, t An Integrated Approach to Design of Protocol Specifications Using Protocol Validation and Synthesis, IEEE Transactions on Computers, v.40 n.4, p.459-467, April 1991
	Christel Baier , Nathalie Bertrand , Philippe Schnoebelen, A note on the attractor-property of infinite-state Markov chain, Information Processing Letters, v.97 n.2, p.58-63, 31 January 2006
	Bernard Boigelot , Patrice Godefroid, Symbolic Verification of Communication Protocols with Infinite StateSpaces using QDDs, Formal Methods in System Design, v.14 n.3, p.237-255, May 1999
	Huai-An Lin, Constructing Protocols with Alternative Functions, IEEE Transactions on Computers, v.40 n.4, p.376-386, April 1991
	Blaise Genest , Dietrich Kuske , Anca Muscholl, A Kleene theorem and model checking algorithms for existentially bounded communicating automata, Information and Computation, v.204 n.6, p.920-956, June 2006
	Alexander Rabinovich, Quantitative analysis of probabilistic lossy channel systems, Information and Computation, v.204 n.5, p.713-740, May 2006
	Blaise Genest , Anca Muscholl , Helmut Seidl , Marc Zeitoun, Infinite-state high-level MSCs: model-checking and realizability, Journal of Computer and System Sciences, v.72 n.4, p.617-647, June 2006
	Dana Angluin , James Aspnes , Zoë Diamadi , Michael J. Fischer , René Peralta, Computation in networks of passively mobile finite-state sensors, Distributed Computing, v.18 n.4, p.235-253, March 2006
	Alin Deutsch , Liying Sui , Victor Vianu , Dayou Zhou, Verification of communicating data-driven web services, Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, June 26-28, 2006, Chicago, IL, USA
	Christopher L. Barrett , Harry B. Hunt, III , Madhav V. Marathe , S. S. Ravi , Daniel J. Rosenkrantz , Richard E. Stearns, Complexity of reachability problems for finite discrete dynamical systems, Journal of Computer and System Sciences, v.72 n.8, p.1317-1345, December, 2006
	Benedikt Bollig , Martin Leucker, Message-passing automata are expressively equivalent to EMSO logic, Theoretical Computer Science, v.358 n.2, p.150-172, 7 August 2006
	Antonín Kučera , Philippe Schnoebelen, A general approach to comparing infinite-state systems with their finite-state specifications, Theoretical Computer Science, v.358 n.2, p.315-333, 7 August 2006
	Chunyang Ye , S. C. Cheung , W. K. Chan , Chang Xu, Local analysis of atomicity sphere for B2B collaboration, Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering, November 05-11, 2006, Portland, Oregon, USA
	Monika Solanki , Antonio Cau , Hussein Zedan, ASDL: a wide spectrum language for designing web services, Proceedings of the 15th international conference on World Wide Web, May 23-26, 2006, Edinburgh, Scotland
	Raman Kazhamiakin , Marco Pistore , Luca Santuari, Analysis of communication models in web service compositions, Proceedings of the 15th international conference on World Wide Web, May 23-26, 2006, Edinburgh, Scotland
	Sreeram Ramakrishnan , Mayur Thakur, An SDS modeling approach for simulation-based control, Proceedings of the 37th conference on Winter simulation, December 04-07, 2005, Orlando, Florida
	Quoc Bao Vo , Lin Padgham, A Component-Based Approach to Automated Web Service Composition, Proceedings of the 2006 IEEE/WIC/ACM International Conference on Web Intelligence, p.657-661, December 18-22, 2006
	Krishnan G. Indiradevi , V. S. Suku Nair, Simulation Based Validation Of Authentication Protocols, Journal of Integrated Design & Process Science, v.8 n.4, p.79-98, December 2004
	Gianfranco Lamperti , Marina Zanella , Paolo Pogliano, Diagnosis of Active Systems by Automata-Based Reasoning Techniques, Applied Intelligence, v.12 n.3, p.217-237, May-June 2000
	A. A. Shalyto, Logic Control and “Reactive” Systems: Algorithmization and Programming, Automation and Remote Control, v.62 n.1, p.1-29, January 2001
	Roberto Micalizio , Pietro Torasso , Gianluca Torta, On-line monitoring and diagnosis of a team of service robots: A model-based approach, AI Communications, v.19 n.4, p.313-340, December 2006
	S. Cerutti , G. Lamperti , M. Scaroni , M. Zanella , D. Zanni, A diagnostic environment for automaton networks, Software—Practice & Experience, v.37 n.4, p.365-415, April 2007
	H. Mountassir, Decidability of a class of dual communicating finite state machines, ACM SIGOPS Operating Systems Review, v.30 n.3, p.59-66, July 1996
	Kassem Saleh, Synthesis of communications protocols: an annotated bibliography, ACM SIGCOMM Computer Communication Review, v.26 n.5, p.40-59, Oct. 1996
	Chung-Ming Huang , Shiun-Wei Lee, Timed protocol verification for Estelle-specified protocols, ACM SIGCOMM Computer Communication Review, v.25 n.3, p.4-32, July 1995
	Alain Bui, On optimization of continuous-time Markov networks in distributed computing, Journal of Global Optimization, v.15 n.4, p.299-314, December 1999
	J. Jenny Li , J. Robert Horgan, χSuds-SDL: A Tool for Testing Software Architecture Specifications, Software Quality Control, v.8 n.4, p.241-253, December 1999
	Laurence Rozé , Marie-Odile Cordier, Diagnosing Discrete-Event Systems: Extending the “Diagnoser Approach” to Deal with Telecommunication Networks, Discrete Event Dynamic Systems, v.12 n.1, p.43-81, January 2002
	T. H. Tse , Francis C. M. Lau , W. K. Chan , Peter C. K. Liu , Colin K. F. Luk, Testing object-oriented industrial software without precise oracles or results, Communications of the ACM, v.50 n.8, p.78-85, August 2007
	Slawomir Lasota , Igor Walukiewicz, Alternating timed automata, ACM Transactions on Computational Logic (TOCL), v.9 n.2, p.1-27, March 2008
	Christel Baier , Nathalie Bertrand , Philippe Schnoebelen, Verifying nondeterministic probabilistic channel systems against ω-regular linear-time properties, ACM Transactions on Computational Logic (TOCL), v.9 n.1, p.5-es, December 2007
	Taowei Wang , Qin Wang , Kun Gao , Yibo Ren, Research on agent communication model and its application in electric system, WSEAS TRANSACTIONS on SYSTEMS, v.7 n.4, p.310-320, April 2008
	Blaise Genest , Dietrich Kuske , Anca Muscholl, On Communicating Automata with Bounded Channels, Fundamenta Informaticae, v.80 n.1-3, p.147-167, January 2007
	Marco Autili , Leonardo Mostarda , Alfredo Navarra , Massimo Tivoli, Synthesis of decentralized and concurrent adaptors for correctly assembling distributed component-based systems, Journal of Systems and Software, v.81 n.12, p.2210-2236, December, 2008
	Shiva Nejati , Mehrdad Sabetzadeh , Marsha Chechik , Sebastian Uchitel , Pamela Zave, Towards compositional synthesis of evolving systems, Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering, November 09-14, 2008, Atlanta, Georgia
	Benedikt Bollig , Dietrich Kuske, Muller message-passing automata and logics, Information and Computation, v.206 n.9-10, p.1084-1094, September, 2008
	Roman Vaculin , Roman Neruda , Katia Sycara, The process mediation framework for semantic web services, International Journal of Agent-Oriented Software Engineering, v.3 n.1, p.27-58, February 2009
	Victor Vianu, Automatic verification of database-driven systems: a new frontier, Proceedings of the 12th International Conference on Database Theory, March 23-25, 2009, St. Petersburg, Russia
	Patricia Bouyer, Model-checking Timed Temporal Logics, Electronic Notes in Theoretical Computer Science (ENTCS), 231, p.323-341, March, 2009
	Hywel Dunn-Davies , Jim Cunningham, Verifying realizability and reachability in recursive interaction protocol specifications, Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems, May 10-15, 2009, Budapest, Hungary
	Gianfranco Lamperti , Marina Zanella, Observation-Subsumption Checking in Similarity-Based Diagnosis of Discrete-Event Systems, Proceeding of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence, p.204-208, June 27, 2008
	Taowei Wang , Lifeng Xi , Aimin Yang , Ke Zhang, Research on WebGIS based on multi-agent, First International Workshop on Artificial Intelligence in Grid Computing, p.1-4, August 14-17, 2007, Vancouver, Canada