Abstract: In this informal talk we provide a brief introduction to linear logic and its use in the specification of concurrent systems. We also outline some of the challenges in reasoning about systems specified in this manner and contrast the roles of temporal and linear logic.