In this paper, we consider a network of supplier, producer, retailer and customer which synchronizes a series of inter-related business process in terms of integrated supply chain production inventory model. The whole system is considered for a finite time period with imprecise inventory costs. There are imprecise chance constraints on the transportation costs for both producer, retailer and al...

the present study was focused on supply chain analysis of fresh guava in order to evaluate existing marketing supply chains (sc1: producer - consumer, sc2: producer - retailer - consumer, sc3: producer - commission agent - retailer - consumer, sc4: producer - commission agent - wholesaler - retailer - consumer) for two variety (allahabad safeda and apple guava) of guava. the gross marketing pri...

This paper addresses the problem of identifying incompatibilities between two programs that operate in a producer/consumer relationship. It describes the techniques that are incorporated in a tool called PCCA (Producer-Consumer Conformance Analyzer), which attempts to (i) determine whether the consumer is prepared to accept all messages that the producer can emit, or (ii) find a counterexample:...

Agriculture and Allied Sectors are the pillar of Indian economy, involvement in Gross Value Added (GVA) country 17.6%, 18.4% 20.2% previous three years 2018-19, 2019-20 2020-21 respectively. Keeping mind important issues farmers, agriculturalists (jointly termed as producers) concept ‘Producer Company (PC)’ was declared 2002. Producer refers to a legal body for farmers with aim improving living...

This paper introduces and analyses the idea of the binding structure of a social interaction scheme. Binding structures are proposed as means to model the binding power that an interaction scheme imposes on agents interacting according to the scheme, in a social context. The paper considers the case of a basic interaction scheme, namely, the basic Producer-Consumer scheme, to explain the way th...

The use of multiple partial viewpoints is recommended for specification. We believe they also can be useful for devising strategies for testing. In this paper, we use Object-Z to formally specify concurrent Java components from viewpoints based on the separation of application and synchronisation concerns inherent in Java monitors. We then use the Test-Template Framework on the Object-Z viewpoi...

This paper defines a new proofand category-theoretic framework for classical linear logic that separates reasoning into one linear regime and two persistent regimes corresponding to ! and ?. The resulting linear/producer/consumer (LPC) logic puts the three classes of propositions on the same semantic footing, following Benton’s linear/non-linear formulation of intuitionistic linear logic. Seman...