On the expressiveness of MTL in the pointwise and continuous semantics

Author： D’Souza Deepak Prabhakar Pavithra

ISSN： 1433-2779

Source： International Journal on Software Tools for Technology Transfer, Vol.9, Iss.1, 2007-02, pp. : 1-4

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Related content

OCL 1.4/5 vs. 2.0 Expressions Formal semantics and expressiveness

By Cengarle María Victoria Knapp Alexander

Software and Systems Modeling (SoSyM), Vol. 3, Iss. 1, 2004-03 ,pp. : 9-30

Springer Publishing Company

Access to resources Recommend Favorite

Coherent Banach spaces: a continuous denotational semantics

By Girard J.-Y.

Theoretical Computer Science, Vol. 227, Iss. 1, 1999-09 ,pp. : 275-297

Elsevier

Access to resources Recommend Favorite

Expressiveness of matchgates

By Valiant L.G.

Theoretical Computer Science, Vol. 289, Iss. 1, 2002-10 ,pp. : 457-471

Elsevier

Access to resources Recommend Favorite

Basic Server Semantics and Performance Monotonicity of Continuous Petri Nets

By Mahulea Cristian Recalde Laura Silva Manuel

Discrete Event Dynamic Systems, Vol. 19, Iss. 2, 2009-06 ,pp. : 189-212

Springer Publishing Company

Access to resources Recommend Favorite

Learning power and language expressiveness

By Martin E. Sharma A. Stephan F.

Theoretical Computer Science, Vol. 298, Iss. 2, 2003-04 ,pp. : 365-383

Elsevier

Access to resources Recommend Favorite