united states president abraham lincoln played lincoln in the 2012 film lincoln.
who played lincoln in the 2012 film lincoln?
united states president abraham lincoln
na
na
bunched logic has been used in connection with the (synchronous) resource-process calculus scrp in order to give a (modal) logic which characterizes, in the sense of hennessey-milner, the compositional structure of concurrent systems.









































scrp is notable for interpreting formula_48 in terms of "both" parallel composition of systems and composition of their associated resources.









































the semantic clause of scrp's process logic that corresponds to separation logic's rule for concurrency asserts that a formula formula_48 is true in resource-process state formula_50,formula_51 just in case there are decompositions of the resource formula_52 and process
bunched logic