A Calculus for Concurrent System with Higher-Order Streaming Communication.
Masaki MurakamiPublished in: Software Engineering Research and Practice (2004)
Keyphrases
- higher order
- data streams
- lambda calculus
- communication systems
- real time
- natural images
- communication protocols
- low order
- high order
- information exchange
- communication overhead
- streaming data
- pairwise
- information sharing
- conditional random fields
- communication protocol
- markov random field
- streaming video
- concurrent programming
- concurrent processes