Approximating the Projective Model

Evangelos Kranakis
Additional contact information
Evangelos Kranakis: Centrum voor Wiskunde en Informatica

A chapter in Mathematical Logic and Its Applications, 1987, pp 273-282 from Springer

Abstract: Abstract One of the fundamental questions in the calculus of communicating processes is determining if a given system of fixed point equations has a solution in the projective model. The present paper provides an approximation principle for the projective model, which makes it posssible to prove assertions in this model by proving them in an infinite sequence of certain finite process algebras. Motivated from this principle a new model for process algebras is defined and its relationship to the projective model is studied.

Keywords: 68B05; process algebra; process; projective model; polynomial operator; metric space; approximation principle; positive formulas; ultrafilter; ultraproduct (search for similar items in EconPapers)
Date: 1987
References: Add references at CitEc
Citations:

There are no downloads for this item, see the EconPapers FAQ for hints about obtaining it.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:spr:sprchp:978-1-4613-0897-3_19

Ordering information: This item can be ordered from
http://www.springer.com/9781461308973

DOI: 10.1007/978-1-4613-0897-3_19

Access Statistics for this chapter

More chapters in Springer Books from Springer
Bibliographic data for series maintained by Sonal Shukla () and Springer Nature Abstracting and Indexing ().