Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

3

SOFSEM
2009
Springer

favoriteEmaildiscussreport

89views Theoretical Computer Science» more SOFSEM 2009»

On the Unification of Process Semantics: Observational Semantics

14 years 1 months ago

On the Unification of Process Semantics: Observational Semantics

Download www.sofsem.cz

David de Frutos-Escrig, Carlos Gregorio-Rodr&iacut

Real-time Traffic

SOFSEM 2009 | Theoretical Computer Science |

claim paper

Related Content

» HigherOrder Coloured Unification and Natural Language Semantics

» An Algorithm For Generation In Unification Categorial Grammar

» Separation Logic Semantics for Communicating Processes

» Lexical Operations in a UnificationBased Framework

» A Functional Ontology of Observation and Measurement

» Expressing generalizations in unificationbased grammar formalisms

» Compound Nouns in a UnificationBased MT System

» An Observational Theory for Mobile Ad Hoc Networks

» Disjunctions and Inheritance in the Context Feature Structure System

Post Info
More Details (n/a)

Added	17 Mar 2010
Updated	17 Mar 2010
Type	Conference
Year	2009
Where	SOFSEM
Authors	David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Miguel Palomino

Comments (0)