Modeling Rover Communication using Hierarchical State Machines with Scala Klaus Havelund and Rajeev Joshi Jet Propulsion Laboratory, California Inst. of Technology, USA {klaus.havelund,rajeev.joshi - NASA - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2018-01-10 13:23:58 Computing Software engineering Computer programming Inter-process communication UML state machine Message queue Message passing Event loop Futures and promises Monitor Scala High-Speed SECS Message Services		Modeling Rover Communication using Hierarchical State Machines with Scala Klaus Havelund and Rajeev Joshi Jet Propulsion Laboratory, California Inst. of Technology, USA {klaus.havelund,rajeev.joshi}@jpl.nasa.gov Add to Reading List Source URL: rjoshi.org Download Document from Source Website File Size: 633,54 KB Share Document on Facebook

	CRESSIDA TECHNOLOGY Cressida SynQuest™ for WebSphere® MQ MirrorQ Message & Queue Replication DocID: 1v3N0 - View Document
	Advanced Message Queuing Protocol (AMQP) Claims-based Security Version 1.0 Working DraftAugust 2013 DocID: 1raWw - View Document
	A Standard Interface for Debugger Access to Message Queue Information in MPI James Cownie1 and William Gropp2 ? DocID: 1r9En - View Document
	Service Monitor End User ManualMTC Message Manager End-User Manual DocID: 1r9vZ - View Document
	Monitors and Blame Assignment for Higher-Order Session Types Limin Jia Hannah Gommerstadt DocID: 1r7Kc - View Document