原创力文档Tree rules in probabilistic transition system specifications with negative and quantitative premises 英文论文文献.docVIP
- 5
- 0
- 约4.77万字
- 约 16页
- 2017-05-08 发布于上海
- 举报
Tree rules in probabilistic transition system specifications with negative and quantitative premises 英文论文文献
Treerulesinprobabilistictransitionsystemspeci?cations
withnegativeandquantitativepremises?
MatiasDavidLee?
DanielGebler?
PedroR.D’Argenio?
?FaMAF–CONICET
?DepartmentofComputerScience
VUUniversityAmsterdam
DeBoelelaan1081a,1081HVAmsterdam
TheNetherlands
UniversidadNacionaldeC′ordoba
CiudadUniversitaria,X5000HUAC′ordoba
Argentina
{lee,dargenio}@.ar
e.d.gebler@vu.nl
Probabilistic transition system speci?cations (PTSSs) in the ntμfν/ntμxν format provide structural
operationalsemanticsforSegala-typesystemsthatexhibitbothprobabilisticandnondeterministic
behaviorandguaranteethatbisimilarityisacongr
您可能关注的文档
- Trapping of normal EB1 ligands in aggresomes formed by an EB1 deletion mutant 英文论文文献.doc
- Trauma-associated growth of suspected dormant micrometastasis 英文论文文献.doc
- Transport and distribution of bottom sediments at Pirita Beach 英文论文文献.doc
- Trastuzumab-DM1 causes tumour growth inhibition by mitotic catastrophe in trastuzumab-resistant breast cancer cells in vivo 英文论文文献.doc
- Traumatic Tympanic Membrane perforation An aetiological profile 英文论文文献.doc
- Travel and migration associated infectious diseases morbidity in Europe, 2008 英文论文文献.doc
- Travelling in time with networks Revealing present day hybridization versus ancestral polymorphism between two species of brown algae, Fucus vesiculosus and F. spiralis 英文论文文献.doc
- Traumatic physical health consequences of intimate partner violence against women what is the role of community-level factors 英文论文文献.doc
- Treatment adherence among sputum smear-positive pulmonary tuberculosis patients in mountainous areas in China 英文论文文献.doc
- Treatment failure in a typhoid patient infected with nalidixic acid resistant S. enterica serovar Typhi with reduced susceptibility to Ciprofloxacin a case report from Cameroon 英文论文文献.doc
- Trend Estimation of Blood Glucose Level Fluctuations Based on Data Mining 英文论文文献.doc
- Trends and Dimensions in Hospital Architecture - A Hospital Administrator’s Perspecetive 英文论文文献.doc
- Trends and risk factors of hyperglycemia and diabetes among Kuwaiti adults National Nutrition Surveillance Data from 2002 to 2009 英文论文文献.doc
- Trends in absolute socioeconomic inequalities in mortality in Sweden and New Zealand. A 20-year gender perspective 英文论文文献.doc
- Trends and predictors of size and grade for ductal carcinoma in situ (DCIS) in BreastScreen Victoria 英文论文文献.doc
- Trends in antibiotic use among outpatients in New Delhi, India 英文论文文献.doc
- Trends in CD4 counts in HIV-infected patients with HIV viral load monitoring while on combination antiretroviral treatment results from The TREAT Asia HIV Observational Database 英文论文文献.doc
- Trendelenburg chest optimization prolongs spontaneous breathing trials in ventilator-dependent patients with low cervical spinal cord injury 英文论文文献.doc
- Trends in drop out, drug free discharge and rates of re-presentation a retrospective cohort study of drug treatment clients in the North West of England 英文论文文献.doc
- Trends in esophageal cancer and body mass index by race and gender in the state of Michigan 英文论文文献.doc
文档评论（0）