metric semantics
Recently Published Documents

TOTAL DOCUMENTS

25
(FIVE YEARS 0)

H-INDEX

8
(FIVE YEARS 0)
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Correct metric semantics for a language inspired by DNA computing

2015 ◽  
Vol 28 (11) ◽  
pp. 3042-3060 ◽  
Author(s):  
Gabriel Ciobanu ◽  
Eneia Nicolae Todoran
Keyword(s):  
Dna Computing ◽  
Metric Semantics

scholarly journals Reasoning with Uncertainty by Nmatrix–Metric Semantics

2008 ◽  
pp. 69-82 ◽  
Author(s):  
Ofer Arieli ◽  
Anna Zamansky
Keyword(s):  
Metric Semantics

scholarly journals Metric Semantics and Full Abstractness for Action Refinement and Probabilistic Choice

2001 ◽  
Vol 40 ◽  
pp. 72-99 ◽  
Author(s):  
J.I. den Hartog ◽  
E.P. de Vink ◽  
J.W. de Bakker
Keyword(s):  
Probabilistic Choice ◽  
Action Refinement ◽  
Metric Semantics

scholarly journals Metric semantics for true concurrent real time

2001 ◽  
Vol 254 (1-2) ◽  
pp. 501-542 ◽  
Author(s):  
Joost-Pieter Katoen ◽  
Christel Baier ◽  
Diego Latella
Keyword(s):  
Real Time ◽  
Metric Semantics
Load More ...
Sign in / Sign up

Export Citation Format

Share Document