Amanote Research

Amanote Research

    RegisterSign In

Axiomatizing Probabilistic Processes: ACP With Generative Probabilities

Information and Computation - United States
doi 10.1006/inco.1995.1135
Full Text
Open PDF
Abstract

Available in full text

Categories
Theoretical Computer ScienceComputational TheoryComputer Science ApplicationsInformation SystemsMathematics
Date

September 1, 1995

Authors
J.C.M. BaetenJ.A. BergstraS.A. Smolka
Publisher

Elsevier BV


Related search

Probabilistic Congruence for Semistochastic Generative Processes

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Reactive, Generative, and Stratified Models of Probabilistic Processes

English

A Segment-Based Probabilistic Generative Model of Speech

English

Deriving the Priority Weights From Probabilistic Linguistic Preference Relation With Unknown Probabilities

PLoS ONE
Multidisciplinary
2018English

Generative Processes in Representations of Problems.

1988English

Limit Probabilities for Critical Age Dependent Branching Processes With Immigration

1979English

Probabilistic May/Must Testing: Retaining Probabilities by Restricted Schedulers

Formal Aspects of Computing
Theoretical Computer ScienceSoftware
2012English

A Probabilistic Generative Framework for Extractive Broadcast News Speech Summarization

IEEE Transactions on Audio, Speech, and Language Processing
2009English

Gamma Processes and Finite Time Survival Probabilities

ASTIN Bulletin
AccountingEconomicsEconometricsFinance
1993English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy