Results 31 to 40 of about 60,674 (237)
Translating Circularity Into Strategy: A Governance Meta‐Capability Framework
Business Strategy and the Environment, EarlyView.ABSTRACT Firms struggle to transition to circular economy (CE) models, often citing external barriers. Yet some firms succeed, whereas others fail: Why? We argue that success depends on a specific governance capability—a meta‐capability that allows firms to (1) sense and strategically reframe CE imperatives, (2) seize opportunities by aligning diverse ...
Felix Carl Schultz +1 more
wiley +1 more source
Business Strategy and the Environment, EarlyView.ABSTRACT Drawing upon ecological modernization theory as the analytical framework, this study employs macro‐level longitudinal tracking data covering China's major regions as research samples. It measures the green and low‐carbon development (GLCD) of manufacturing from the four dimensions—“carbon reduction, pollution mitigation, ecological expansion ...
Deng Wang +4 more
wiley +1 more source
Towards Efficient Abstractions for Concurrent Consensus [PDF]
, 2013 Consensus is an often occurring problem in concurrent and distributed programming. We present a programming language with simple semantics and build-in support for consensus in the form of communicating transactions.
Koutavas, Vasileios, Spaccasassi, Carlo
core
TAPAs: A Tool for the Analysis of Process Algebras [PDF]
, 2008 Process algebras are formalisms for modelling concurrent systems that permit mathematical reasoning with respect to a set of desired properties. TAPAs is a tool that can be used to support the use of process algebras to specify and analyze concurrent ...
Calzolai, Francesco +3 more
core +2 more sources
Stock Exchange ESG Disclosure Guidance and Corporate Carbon Mitigation: International Evidence
Business Strategy and the Environment, EarlyView.ABSTRACT This study investigates the tangible impact of the adoption of environmental, social, and governance (ESG) disclosure guidance by stock exchanges on corporate carbon mitigation, focusing on six major frameworks: the Global Reporting Initiative (GRI), the Sustainability Accounting Standards Board (SASB), the Task Force on Climate Related ...
Jiamian Yan, Le Luo, Nuraddeen Nuhu
wiley +1 more source
Structural operational semantics for stochastic and weighted transition systems
, 2013 We introduce weighted GSOS, a general syntactic framework to specify well-behaved transition systems where transitions are equipped with weights coming from a commutative monoid.
Aceto +32 more
core +2 more sources
Logical Specification and Analysis of Fault Tolerant Systems through Partial Model Checking [PDF]
, 2003 This paper presents a framework for a logical characterisation of fault tolerance and its formal analysis based on partial model checking techniques.
Gnesi, S., Lenzini, G., Martinelli, F.
core +3 more sources
On Parallel Communicating Grammar Systems and Correctness Preserving Restarting Automata [PDF]
, 2009 This paper contributes to the study of Freely Rewriting Re-starting Automata (FRR-automata) and Parallel Communicating Grammar Systems (PCGS) as formalizations of the linguistic method of analysis by reduction . For PCGS we study two complexity measures called generation complexity and distribution complexity , and we prove that a PCGS *** , for which ...
Dana Pardubská +2 more
openaire +1 more source
Business Strategy and the Environment, EarlyView.ABSTRACT Small enterprises (SEs) constitute a major component of economic systems, and their socio‐environmental commitment is critical for promoting societal well‐being. This paper examines the direct effect of sound financial practices on socio‐environmental commitment and evaluates the mediating role of financial constraints—specifically debt and ...
Marcos Álvarez‐Espiño +2 more
wiley +1 more source
Read Operators and their Expressiveness in Process Algebras
, 2011 We study two different ways to enhance PAFAS, a process algebra for modelling asynchronous timed concurrent systems, with non-blocking reading actions. We first add reading in the form of a read-action prefix operator. This operator is very flexible, but
Corradini, Flavio +2 more
core +2 more sources