First Page | Document Content | |
---|---|---|
Date: 2018-01-10 13:23:58Computing 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.govAdd to Reading ListSource URL: rjoshi.orgDownload Document from Source WebsiteFile Size: 633,54 KBShare Document on Facebook |
CRESSIDA TECHNOLOGY Cressida SynQuest™ for WebSphere® MQ MirrorQ Message & Queue ReplicationDocID: 1v3N0 - View Document | |
Advanced Message Queuing Protocol (AMQP) Claims-based Security Version 1.0 Working DraftAugust 2013DocID: 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 ManualDocID: 1r9vZ - View Document | |
Monitors and Blame Assignment for Higher-Order Session Types Limin Jia Hannah GommerstadtDocID: 1r7Kc - View Document |