Airline Control Program (ACP)

Known as: ACP, Airline Control Program, Airlines Control Program 
IBM Airline Control Program, or ACP, is a discontinued operating system developed by IBM beginning about 1965. In contrast to previous airline… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2010
2010
Over the past several years, the artifact-centric approach to workflow has emerged as a new paradigm of business process… (More)
  • figure 1
  • figure 2
  • table 1
  • figure 3
  • figure 4
Is this relevant?
2007
2007
Seed germination, one of the most important phases in the life cycle of a plant, is highly responsive to existing environment… (More)
  • figure 1
  • table 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
2001
Highly Cited
2001
We present real time and discrete time versions of ACP with absolute timing and relative timing. The starting-point is a new real… (More)
Is this relevant?
1999
1999
This work concerns modelling of the parallel composition of probabilist.ic processes treated in the setting of ACP-like process… (More)
  • table 2
  • figure 1
  • table 3
  • figure 2
  • table 5
Is this relevant?
Highly Cited
1996
Highly Cited
1996
The well-known problem of leader election in distributed systems is considered in a dynamic context where processes may… (More)
Is this relevant?
1995
1995
Standard specification languages have very limited abilities to define new operations on processes. We introduce the concept of a… (More)
  • figure 1
  • figure 2
Is this relevant?
1994
1994
We proved a general conservative extension theorem for transition system based process theories with easy-to-check and reasonable… (More)
Is this relevant?
1993
1993
The expressive power of process algebras is investigated in a general setting of structural operational semantics. The notion of… (More)
Is this relevant?
Highly Cited
1991
Highly Cited
1991
Stearoyl-acyl-carrier-protein (ACP) desaturase (EC 1.14.99.6) was purified to homogeneity from avocado mesocarp, and monospecific… (More)
  • figure 1
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1990
Highly Cited
1990
We describe an axiom system ACP p that incorporates real timed actions. Many examples are provided in order to explain the… (More)
Is this relevant?