Strong Splitting Bisimulation Equivalence

Bergstra, Jan A.; Middelburg, Cornelis A.

doi:10.1007/11548133_6

Cited by 5 publications

(3 citation statements)

References 14 publications

(30 reference statements)

Supporting

Mentioning

Contrasting

Order By: Relevance

“…However, there are several extensions of ACP that include conditional expressions of some kind. As a matter of fact, ACP cc is a variant of a recent extension of ACP with conditional expressions called ACP c [11,12]. Earlier extensions of ACP that include conditional expressions can be found in [6,2,14,3].…”

Section: Discussionmentioning

confidence: 99%

Preferential choice and coordination conditions

Bergstra

Middelburg

2007

The Journal of Logic and Algebraic Programming

View full text Add to dashboard Cite

We present a process algebra with conditional expressions of which the conditions concern the enabledness of actions in the context in which a process is placed. With those conditions, it becomes easy to model preferential choices. A preferential choice of a process is a choice whereby certain alternatives are excluded if at least one of the other alternatives is permitted by the context in which the process is placed. Preferential choices are usually modelled rather indirectly using a priority mechanism.

show abstract

Section: Discussionmentioning

confidence: 99%

Preferential choice and coordination conditions

Bergstra

Middelburg

2007

The Journal of Logic and Algebraic Programming

View full text Add to dashboard Cite

show abstract

“…In this section, we shortly review ACP c . For a comprehensive overview, the reader is referred to [12,13]. The axioms of ACP c are given in Appendix A. ACP c is an extension of ACP with conditional expressions in which the conditions are taken from a Boolean algebra.…”

Section: Acp With Conditionsmentioning

confidence: 99%

A Thread Algebra with Multi-level Strategic Interleaving

Bergstra

Middelburg

2005

New Computational Paradigms

View full text Add to dashboard Cite

Abstract. In a previous paper, we developed an algebraic theory of threads and multi-threads based on strategic interleaving. This theory includes a number of plausible interleaving strategies on thread vectors. The strategic interleaving of a thread vector constitutes a multi-thread. Several multi-threads may exist concurrently on a single host in a network, several host behaviors may exist concurrently in a single network on the internet, etc. Strategic interleaving is also present at these other levels. In the current paper, we extend the theory developed so far with features to cover multi-level strategic interleaving. We use the resulting theory to develop a simplified formal representation schema of systems that consist of several multi-threaded programs on various hosts in different networks. We also investigate the connections of the resulting theory with the algebraic theory of processes known as ACP.

show abstract

“…2 In the next decade, annual growth of wind turbines is estimated to be 15-30% as many national economies seek to implement alternative energy sources and reduce their dependence on petroleum oil. 3 Wind energy remains one of the leading technologies for providing clean renewable energy. Wind turbine original equipment manufacturers are building equipment to be bigger with much larger power outputs than their predecessors to meet fast growing demand.…”

Section: Introductionmentioning

confidence: 99%

Pressure viscosity coefficients and traction properties of synthetic lubricants for wind turbine gear systems

Greaves¹

2012

Lubrication Science

View full text Add to dashboard Cite

Synthetic lubricants are increasingly used to provide equipment reliability for wind turbine gear boxes. The majority of synthetic lubricants used today are based on polyalphaolefins. In gear systems where contact pressures are high, the pressure viscosity coefficient and traction values of the lubricant are important fundamental properties. A comparison of these properties for a wind turbine lubricant based on a polyalphaolefin and two lubricants based on polyalkylene glycols has been undertaken. Pressure viscosity coefficients were calculated from viscosity measurements made using an ultra‐high pressure falling needle viscometer at pressures up to 50 000 psi. Significant differences in properties were observed with both polyalkylene glycol lubricants showing lower pressure viscosity coefficients and much lower traction values. A calculation of the film thickness values in the Hertzian contact zone suggests that polyalkylene glycol lubricants may provide elastohydrodynamic films that are approximately 25% thicker than polyalphaolefin lubricants. Copyright © 2012 John Wiley & Sons, Ltd.

show abstract

Strong Splitting Bisimulation Equivalence

Cited by 5 publications

References 14 publications

Preferential choice and coordination conditions

Preferential choice and coordination conditions

A Thread Algebra with Multi-level Strategic Interleaving

Pressure viscosity coefficients and traction properties of synthetic lubricants for wind turbine gear systems

Contact Info

Product

Resources

About