metric semantics Latest Research Papers

2020 ◽

Author(s):

Eneia Nicolae Todoran

Keyword(s):

Metric Semantics

Download Full-text

Continuation-Based Metric Semantics for Concurrency

2019 IEEE 15th International Conference on Intelligent Computer Communication and Processing (ICCP) ◽

10.1109/iccp48234.2019.8959761 ◽

2019 ◽

Author(s):

Eneia Nicolae Todoran

Keyword(s):

Metric Semantics

Download Full-text

Correct metric semantics for a language inspired by DNA computing

Concurrency and Computation Practice and Experience ◽

10.1002/cpe.3585 ◽

2015 ◽

Vol 28 (11) ◽

pp. 3042-3060 ◽

Cited By ~ 3

Author(s):

Gabriel Ciobanu ◽

Eneia Nicolae Todoran

Keyword(s):

Dna Computing ◽

Metric Semantics

Download Full-text

Correct Metric Semantics for a Biologically-Inspired Formalism

2014 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing ◽

10.1109/synasc.2014.50 ◽

2014 ◽

Cited By ~ 1

Author(s):

Gabriel Ciobanu ◽

Eneia Nicolae Todoran

Keyword(s):

Biologically Inspired ◽

Metric Semantics

Download Full-text

Relating Two Metric Semantics for Parallel Rewriting of Multisets

2012 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing ◽

10.1109/synasc.2012.35 ◽

2012 ◽

Cited By ~ 5

Author(s):

Gabriel Ciobanu ◽

Eneia Nicolae Todoran

Keyword(s):

Metric Semantics

Download Full-text

Metric semantics for modern second order communication abstractions

2009 IEEE 5th International Conference on Intelligent Computer Communication and Processing ◽

10.1109/iccp.2009.5284756 ◽

2009 ◽

Author(s):

Eneia Nicolae Todoran

Keyword(s):

Second Order ◽

Metric Semantics

Download Full-text

Reasoning with Uncertainty by Nmatrix–Metric Semantics

Logic, Language, Information and Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-540-69937-8_8 ◽

2008 ◽

pp. 69-82 ◽

Cited By ~ 1

Author(s):

Ofer Arieli ◽

Anna Zamansky

Keyword(s):

Metric Semantics

Download Full-text

An introduction to metric semantics: operational and denotational models for programming and specification languages

Theoretical Computer Science ◽

10.1016/s0304-3975(00)00403-5 ◽

2001 ◽

Vol 258 (1-2) ◽

pp. 1-98 ◽

Cited By ~ 22

Author(s):

Franck van Breugel

Keyword(s):

Specification Languages ◽

Metric Semantics

Download Full-text

Metric Semantics and Full Abstractness for Action Refinement and Probabilistic Choice

Electronic Notes in Theoretical Computer Science ◽

10.1016/s1571-0661(05)80038-6 ◽

2001 ◽

Vol 40 ◽

pp. 72-99 ◽

Cited By ~ 8

Author(s):

J.I. den Hartog ◽

E.P. de Vink ◽

J.W. de Bakker

Keyword(s):

Probabilistic Choice ◽

Action Refinement ◽

Metric Semantics

Download Full-text

Metric semantics for true concurrent real time

Theoretical Computer Science ◽

10.1016/s0304-3975(99)00342-4 ◽

2001 ◽

Vol 254 (1-2) ◽

pp. 501-542 ◽

Cited By ~ 15

Author(s):

Joost-Pieter Katoen ◽

Christel Baier ◽

Diego Latella

Keyword(s):

Real Time ◽

Metric Semantics

Download Full-text

metric semantics
Recently Published Documents

TOTAL DOCUMENTS

H-INDEX

Metric Semantics for Concurrent Languages Designed in Continuation-Passing Style

Continuation-Based Metric Semantics for Concurrency

Correct metric semantics for a language inspired by DNA computing

Correct Metric Semantics for a Biologically-Inspired Formalism

Relating Two Metric Semantics for Parallel Rewriting of Multisets

Metric semantics for modern second order communication abstractions

Reasoning with Uncertainty by Nmatrix–Metric Semantics

An introduction to metric semantics: operational and denotational models for programming and specification languages

Metric Semantics and Full Abstractness for Action Refinement and Probabilistic Choice

Metric semantics for true concurrent real time

Export Citation Format

metric semanticsRecently Published Documents

TOTAL DOCUMENTS

H-INDEX

Metric Semantics for Concurrent Languages Designed in Continuation-Passing Style

Continuation-Based Metric Semantics for Concurrency

Correct metric semantics for a language inspired by DNA computing

Correct Metric Semantics for a Biologically-Inspired Formalism

Relating Two Metric Semantics for Parallel Rewriting of Multisets

Metric semantics for modern second order communication abstractions

Reasoning with Uncertainty by Nmatrix–Metric Semantics

An introduction to metric semantics: operational and denotational models for programming and specification languages

Metric Semantics and Full Abstractness for Action Refinement and Probabilistic Choice

Metric semantics for true concurrent real time

metric semantics
Recently Published Documents