% ------------------------------------------------------------------------------
% Copyright (c) 2010, 2026 Contributors to the Eclipse Foundation
%
% See the NOTICE file(s) distributed with this work for additional
% information regarding copyright ownership.
%
% This program and the accompanying materials are made available under the terms
% of the MIT License which is available at https://opensource.org/licenses/MIT
%
% SPDX-License-Identifier: MIT
% ------------------------------------------------------------------------------
{\ttfamily
\begin{tikzpicture}[x=1ex,y=1ex,thin,>=triangle 45,auto]
\path
          node[proc](P){P}
++ (12,0) node[proc](C){C};
\path (P) edge node{a} (C);
\end{tikzpicture}
}
